@Override
	public String[] getOptionDescriptions() {
		return null;
	}
<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