+ public static void addPreferenceChangeListenerMapsServer(IPreferenceChangeListener listener) {
+ getServerPreferences().addPreferenceChangeListener(listener);
+ }
+
+ public static void removePreferenceChangeListenerMapsServer(IPreferenceChangeListener listener) {
+ getServerPreferences().removePreferenceChangeListener(listener);
+ }
+