/** * Sets a property associated with this extension into the standard BlueJ property repository. The * property name does not need to be fully qualified since a prefix will be prepended to it. * * @param property The name of the required global property * @param value the required value of that property. */ public void setExtensionPropertyString(String property, String value) { if (!myWrapper.isValid()) throw new ExtensionUnloadedException(); String thisKey = myWrapper.getSettingsString(property); Config.putPropString(thisKey, value); }