JJSConstants.java

package org.nodeclipse.jjs.preferences;

public class JJSConstants {

	public static final String PLUGIN_ID = "org.nodeclipse.jjs";
	public static final String LAUNCH_CONFIGURATION_TYPE_ID = "org.nodeclipse.jjs.launch.LaunchConfigurationType";

	public static final String PROCESS_MESSAGE = "JJS Process";
	
	public static final String PREFERENCES_PAGE = "org.nodeclipse.jjs.preferences.JJSPreferencePage";
	public static final String PREFERENCE_PAGE_NAME ="Nodeclipse/JJS"; // ! not the same as in plugin.xml	
}