@Override
	public void setValue(Object value) {
		if (!(value instanceof StoredAnalyzerTimes)) {
			return;
		}

		times = (StoredAnalyzerTimes) value;
		firePropertyChange();
	}
<code>StoredAnalyzerTimesPropertyEditor</code> implements a custom option
editor panel for {@link StoredAnalyzerTimes}.  Ability to edit values
is disabled with panel intended for display purpose only.
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/analysis/StoredAnalyzerTimesPropertyEditor.java