diff options
| -rw-r--r-- | org.eclipse.jdt.core/model/org/eclipse/jdt/core/JavaCore.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.jdt.core/model/org/eclipse/jdt/core/JavaCore.java b/org.eclipse.jdt.core/model/org/eclipse/jdt/core/JavaCore.java index c8bf57b86d..c172c9dea2 100644 --- a/org.eclipse.jdt.core/model/org/eclipse/jdt/core/JavaCore.java +++ b/org.eclipse.jdt.core/model/org/eclipse/jdt/core/JavaCore.java @@ -2705,7 +2705,7 @@ public final class JavaCore extends Plugin { public static final String VERSION_1_8 = "1.8"; //$NON-NLS-1$ /** * Configurable option value: {@value}. - * @since 3.11 BETA_JAVA9 + * @since 3.12 BETA_JAVA9 * @category OptionValue */ public static final String VERSION_1_9 = "1.9"; //$NON-NLS-1$ |