--- a/jdk/src/share/classes/java/lang/Class.java	Wed Dec 19 14:53:33 2012 +0000
+++ b/jdk/src/share/classes/java/lang/Class.java	Wed Dec 19 11:53:52 2012 -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() {