diff -r eded175efec2 -r 337380568515 jdk/src/share/classes/java/lang/reflect/Executable.java
--- a/jdk/src/share/classes/java/lang/reflect/Executable.java	Wed Dec 19 14:53:33 2012 +0000
+++ b/jdk/src/share/classes/java/lang/reflect/Executable.java	Wed Dec 19 11:53:52 2012 -0800
@@ -324,6 +324,7 @@
      * @return true if and only if this executable is a synthetic
      * construct as defined by
      * <cite>The Java&trade; Language Specification</cite>.
+     * @jls 13.1 The Form of a Binary
      */
     public boolean isSynthetic() {
         return Modifier.isSynthetic(getModifiers());