@@ -38,11 +38,11 @@ * {@link #NOPOS}) and 0 are not valid line or column numbers. * * <p>Line terminator is as defined in ECMAScript specification which is one * of { \u000A, \u000B, \u2028, \u2029 }. * - * @since 1.9 + * @since 9 */ public interface Diagnostic { /** * Kinds of diagnostics, for example, error or warning.