Update Javadoc for PREF_COMPILER_COMPLIANCE_DOES_NOT_MATCH_JRE and PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE
Change-Id: I23a97b341e7e7991b6bb4be93d350507e007c2f3
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 5fa70cf..db8218b 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
@@ -236,9 +236,8 @@
public static final String PREF_VM_XML = LaunchingPlugin.getUniqueIdentifier() + ".PREF_VM_XML"; //$NON-NLS-1$
/**
- * 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 JavaCore#ERROR}, {@link JavaCore#WARNING}, or
+ * Preference key for the 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 JavaCore#ERROR}, {@link JavaCore#WARNING}, {@link JavaCore#INFO}, or
* {@link JavaCore#IGNORE}
*
* @since 3.5
@@ -246,9 +245,8 @@
public static final String PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE = LaunchingPlugin.getUniqueIdentifier() + ".PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE"; //$NON-NLS-1$
/**
- * Preference key for the default problem severity when an compiler compliance that is set
- * does not match the used JRE. Value is one of
- * {@link JavaCore#ERROR}, {@link JavaCore#WARNING}, or {@link JavaCore#IGNORE}
+ * Preference key for the problem severity when an compiler compliance that is set does not match the used JRE. Value is one of
+ * {@link JavaCore#ERROR}, {@link JavaCore#WARNING}, {@link JavaCore#INFO}, or {@link JavaCore#IGNORE}
* <p>
* This preference will not be applicable if the JRE used is 9 or above and {@link JavaCore#COMPILER_RELEASE} option is enabled.
* </p>
