PreferencesConstants.java

package org.jbpm.gd.jpdl.prefs;

public interface PreferencesConstants {

	public final String SERVER_NAME = "server name";
	public final String SERVER_PORT = "server port";
	public final String SERVER_DEPLOYER = "server deployer";
	public final String USE_CREDENTIALS = "use credentials";
	public final String USER_NAME = "user name";
	public final String PASSWORD = "password";

}