setDescription("This page allows the configuration of global runtime settings.");
}
@Override
protected void createFieldEditors() {
addField(new IntegerFieldEditor(PreferenceConstants.TOMCAT_SERVER_PORT, "Tomcat server port:", getFieldEditorParent()));
addField(new IntegerFieldEditor(PreferenceConstants.TOMCAT_HTTP_PORT, "Tomcat HTTP port:", getFieldEditorParent()));
addField(new IntegerFieldEditor(PreferenceConstants.TOMCAT_REDIRECT_PORT, "Tomcat redirect port:", getFieldEditorParent()));
addField(new BooleanFieldEditor(PreferenceConstants.TMLSCRIPT_DEBUG,
"enable TML-Script debugger",
SWT.NONE, getFieldEditorParent()));
addField(new BooleanFieldEditor(PreferenceConstants.JAVA_DEBUG,
"enable Java debugging",
SWT.NONE, getFieldEditorParent()));
addField(new IntegerFieldEditor(PreferenceConstants.JAVA_MIN_HEAP_SIZE, "Minimum Java heap size (in MB):", getFieldEditorParent()));
addField(new IntegerFieldEditor(PreferenceConstants.JAVA_MAX_HEAP_SIZE, "Maximum Java heap size (in MB):", getFieldEditorParent()));
addField(new IntegerFieldEditor(PreferenceConstants.JAVA_MIN_PERMGEN_SIZE, "Minimum Java permgen size (in MB):", getFieldEditorParent()));
addField(new IntegerFieldEditor(PreferenceConstants.JAVA_MAX_PERMGEN_SIZE, "Maximum Java permgen size (in MB):", getFieldEditorParent()));
addField(new IntegerFieldEditor(PreferenceConstants.JMX_PORT, "Java Management Extensions port:", getFieldEditorParent()));
}