--- old/src/share/classes/java/lang/Class.java	2012-12-19 11:11:40.000000000 -0800
+++ new/src/share/classes/java/lang/Class.java	2012-12-19 11:11:39.000000000 -0800
@@ -506,6 +506,7 @@
      * returns {@code false} otherwise.
      * @return {@code true} if and only if this class is a synthetic class as
      *         defined by the Java Language Specification.
+     * @jls 13.1 The Form of a Binary
      * @since 1.5
      */
     public boolean isSynthetic() {