@Override
	public void writeState(GProperties properties) {
		for (String taskName : taskTimes.keySet()) {
			properties.putLong(taskName, taskTimes.get(taskName));
		}
	}
<code>StoredAnalyzerTimes</code> provides a custom option container for 
accumulated analysis times for named tasks.
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/analysis/StoredAnalyzerTimes.java