diff --git a/resources/languages/resources.properties b/resources/languages/resources.properties
index 3b67ef211..438fdda4b 100644
--- a/resources/languages/resources.properties
+++ b/resources/languages/resources.properties
@@ -238,7 +238,7 @@ but only
hide it. If you wish to exit the application choose File/Quit. void removeSupportedOperationSet(
supportedOperationSets.remove(opsetClass.getName());
}
+ /**
+ * Removes all OperationSet implementation from the set of
+ * supported OperationSets for this instance.
+ */
+ protected void clearSupportedOperationSet()
+ {
+ supportedOperationSets.clear();
+ }
+
/**
* Creates a RegistrationStateChange event corresponding to the specified
* old and new states and notifies all currently registered listeners.