Bug 244693 - Default severity for missing JRE for Execution Environment should be Error
diff --git a/org.eclipse.jdt.launching/launching/org/eclipse/jdt/internal/launching/LaunchingPlugin.java b/org.eclipse.jdt.launching/launching/org/eclipse/jdt/internal/launching/LaunchingPlugin.java
index 77f4beb..d590dea 100644
--- a/org.eclipse.jdt.launching/launching/org/eclipse/jdt/internal/launching/LaunchingPlugin.java
+++ b/org.eclipse.jdt.launching/launching/org/eclipse/jdt/internal/launching/LaunchingPlugin.java
@@ -1141,10 +1141,10 @@
if(value == null) {
value = getPluginPreferences().getString(prefkey);
}
- if(JavaRuntime.VALUE_ERROR.equals(value)) {
+ if (JavaCore.ERROR.equals(value)) {
return IMarker.SEVERITY_ERROR;
}
- if(JavaRuntime.VALUE_WARNING.equals(value)) {
+ if (JavaCore.WARNING.equals(value)) {
return IMarker.SEVERITY_WARNING;
}
return -1;
diff --git a/org.eclipse.jdt.launching/launching/org/eclipse/jdt/internal/launching/LaunchingPreferenceInitializer.java b/org.eclipse.jdt.launching/launching/org/eclipse/jdt/internal/launching/LaunchingPreferenceInitializer.java
index b22172c..1855093 100644
--- a/org.eclipse.jdt.launching/launching/org/eclipse/jdt/internal/launching/LaunchingPreferenceInitializer.java
+++ b/org.eclipse.jdt.launching/launching/org/eclipse/jdt/internal/launching/LaunchingPreferenceInitializer.java
@@ -12,6 +12,7 @@
import org.eclipse.core.runtime.Preferences;
import org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer;
+import org.eclipse.jdt.core.JavaCore;
import org.eclipse.jdt.launching.JavaRuntime;
/**
@@ -28,7 +29,7 @@
Preferences preferences = JavaRuntime.getPreferences();
preferences.setDefault(JavaRuntime.PREF_CONNECT_TIMEOUT, JavaRuntime.DEF_CONNECT_TIMEOUT);
- preferences.setDefault(JavaRuntime.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE, JavaRuntime.VALUE_WARNING);
+ preferences.setDefault(JavaRuntime.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE, JavaCore.WARNING);
}
diff --git a/org.eclipse.jdt.launching/launching/org/eclipse/jdt/launching/JavaRuntime.java b/org.eclipse.jdt.launching/launching/org/eclipse/jdt/launching/JavaRuntime.java
index d1d6f71..c782625 100644
--- a/org.eclipse.jdt.launching/launching/org/eclipse/jdt/launching/JavaRuntime.java
+++ b/org.eclipse.jdt.launching/launching/org/eclipse/jdt/launching/JavaRuntime.java
@@ -210,33 +210,20 @@
/**
* Preference key for the default problem severity when an execution environment is bound
* to a project's build path for which there is no strictly compatible JRE available in the
- * workspace. Value is one of {@link #VALUE_IGNORE}, {@link #VALUE_WARNING} or
- * {@value #VALUE_ERROR}.
+ * workspace. Value is one of {@link JavaCore#ERROR}, {@link JavaCore#WARNING}, or
+ * {@link JavaCore#IGNORE}
*
* @since 3.5
*/
- public static final String PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE = LaunchingPlugin.getUniqueIdentifier() + ".PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE"; //$NON-NLS-1$
+ public static final String PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE = LaunchingPlugin.getUniqueIdentifier() + ".PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE"; //$NON-NLS-1$
/**
- * Constant representing a problem severity preference value of 'ignore'.
- * Value is: <code>Ignore</code>
+ * Unique identifier constant (value <code>"org.eclipse.jdt.launching"</code>)
+ * for the Java launching plug-in.
+ *
* @since 3.5
*/
- public static final String VALUE_IGNORE = "Ignore"; //$NON-NLS-1$
-
- /**
- * Constant representing a problem severity preference value of 'warning'.
- * Value is: <code>Warning</code>
- * @since 3.5
- */
- public static final String VALUE_WARNING = "Warning"; //$NON-NLS-1$
-
- /**
- * Constant representing a problem severity preference value of 'error'.
- * Value is: <code>Error</code>
- * @since 3.5
- */
- public static final String VALUE_ERROR = "Error"; //$NON-NLS-1$
+ public static final String ID_PLUGIN = LaunchingPlugin.ID_PLUGIN;
/**
* Default launch/connect timeout (ms).