protected static void clearAllExtensions(Program program, TaskMonitor monitor)
			throws CancelledException {
		Options specOptions = program.getOptions(SpecExtension.SPEC_EXTENSION);
		List<String> optionNames = specOptions.getOptionNames();
		for (String name : optionNames) {
			monitor.checkCancelled();
			specOptions.removeOption(name);
		}
	}
Clear all spec extension options for the given program.
This is intended for internal use.  ProgramDB.installExtensions() must be called at
some later time to see the effect.
@param program is the given Program
@param monitor is a monitor for the operation
@throws CancelledException if something externally cancels the operation
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/database/SpecExtension.java