diff -r fcf89720ae71 -r cfde9737131e src/share/classes/com/sun/tools/javadoc/RootDocImpl.java
--- a/src/share/classes/com/sun/tools/javadoc/RootDocImpl.java	Mon Dec 10 16:21:26 2012 +0000
+++ b/src/share/classes/com/sun/tools/javadoc/RootDocImpl.java	Tue Dec 11 15:05:55 2012 -0800
@@ -331,7 +331,6 @@
     @Override
     protected String documentation() {
         if (documentation == null) {
-            int cnt = options.length();
             JavaFileObject overviewPath = getOverviewPath();
             if (overviewPath == null) {
                 // no doc file to be had