public boolean hasOptions(String category) {
		return optionsMgr.hasOptions(category);
	}
Return true if there is an options category with the given name
@param category name of the options set
@return true if there is an options category with the given name
Ghidra/Framework/Project/src/main/java/ghidra/framework/plugintool/PluginTool.java