PreferenceConstants.java

package de.urszeidler.shr5.scripting.ui.preferences;

/**
 * Constant definitions for plug-in preferences
 */
public class PreferenceConstants {

    public static final String START_WEBSERVER_DEFAULT = "START_WEBSERVER_DEFAULT";

}