1 package org.simantics.district.maps.server.prefs;
3 import org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer;
4 import org.osgi.service.prefs.Preferences;
6 public class MapsServerInitializer extends AbstractPreferenceInitializer {
9 public void initializeDefaultPreferences() {
10 Preferences node = MapsServerPreferences.getPreferences();
12 node.putBoolean(MapsServerPreferences.P_START_AUTOMATICALLY, true);
13 node.putInt(MapsServerPreferences.P_DEFAULT_PORT, 8080);