1 package org.simantics.district.maps.server.prefs;
3 import java.util.Arrays;
6 import org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer;
7 import org.osgi.service.prefs.BackingStoreException;
8 import org.osgi.service.prefs.Preferences;
10 public class MapsServerInitializer extends AbstractPreferenceInitializer {
13 public void initializeDefaultPreferences() {
14 Preferences node = MapsServerPreferences.getPreferences();
17 String[] keys = node.keys();
18 List<String> keyss = Arrays.asList(keys);
19 if (!keyss.contains(MapsServerPreferences.P_START_AUTOMATICALLY)) {
20 node.putBoolean(MapsServerPreferences.P_START_AUTOMATICALLY, true);
22 if (!keyss.contains(MapsServerPreferences.P_DEFAULT_PORT)) {
23 node.putInt(MapsServerPreferences.P_DEFAULT_PORT, 8585);
25 } catch (BackingStoreException e) {