@@ -40,11 +40,10 @@ * <p>Line terminator is as defined in ECMAScript specification which is one * of { \u000A, \u000B, \u2028, \u2029 }. * * @since 1.9 */ -@jdk.Exported public interface Diagnostic { /** * Kinds of diagnostics, for example, error or warning. *