65666768697071
* Initializes a preference store with default preference values * for this plug-in. */ protected void initialiseDefaultPreferences() { System.out.println("INITIALISING DEFAULTS"); new DefaultPreferences(); }