static String formatTimeMS(long timeMS) {
		String str = Long.toUnsignedString(timeMS / 1000L);
		str += ".";
		str += StringUtilities.pad(Long.toUnsignedString(timeMS % 1000L), '0', 3);
		return str;
	}
Set the updated StoredAnalyzerTimes option data on the specified program
@param program program
@param times StoredAnalyzerTimes option data
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/analysis/StoredAnalyzerTimes.java