--- a/langtools/src/share/classes/com/sun/tools/javadoc/DocEnv.java	Wed Nov 20 13:44:39 2013 +0100
+++ b/langtools/src/share/classes/com/sun/tools/javadoc/DocEnv.java	Wed Nov 20 10:53:38 2013 -0800
@@ -39,6 +39,7 @@
 import com.sun.tools.javac.code.Symbol.*;
 import com.sun.tools.javac.code.Type.ClassType;
 import com.sun.tools.javac.comp.Check;
+import com.sun.tools.javac.file.JavacFileManager;
 import com.sun.tools.javac.tree.JCTree;
 import com.sun.tools.javac.tree.JCTree.*;
 import com.sun.tools.javac.util.Context;
@@ -146,6 +147,9 @@
         chk = Check.instance(context);
         types = Types.instance(context);
         fileManager = context.get(JavaFileManager.class);
+        if (fileManager instanceof JavacFileManager) {
+            ((JavacFileManager)fileManager).setSymbolFileEnabled(false);
+        }
 
         // Default.  Should normally be reset with setLocale.
         this.doclocale = new DocLocale(this, "", breakiterator);