public static void registerOptions(Program program) {
		if (!(program instanceof ProgramDB)) {
			Msg.error(SpecExtension.class, "Can only add extensions on a normal program");
			return;
		}
		if (!SystemUtilities.isInHeadlessMode()) {
			Options options = program.getOptions(SPEC_EXTENSION);
			options.setOptionsHelpLocation(new HelpLocation("DecompilePlugin", "ExtensionOptions"));
			options.registerOptionsEditor(() -> new SpecExtensionEditor((ProgramDB) program));
		}
	}
Register the options system allowing spec extensions with the given Program
@param program is the given Program
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/database/SpecExtension.java