- node.putBoolean(MapsServerPreferences.P_START_AUTOMATICALLY, true);
- node.putInt(MapsServerPreferences.P_DEFAULT_PORT, 8080);
+ try {
+ String[] keys = node.keys();
+ List<String> keyss = Arrays.asList(keys);
+ if (!keyss.contains(MapsServerPreferences.P_START_AUTOMATICALLY)) {
+ node.putBoolean(MapsServerPreferences.P_START_AUTOMATICALLY, true);
+ }
+ if (!keyss.contains(MapsServerPreferences.P_DEFAULT_PORT)) {
+ node.putInt(MapsServerPreferences.P_DEFAULT_PORT, 8080);
+ }
+ } catch (BackingStoreException e) {
+ e.printStackTrace();
+ }