--- gjdoc-0.7.7/src/gnu/classpath/tools/gjdoc/Main.java.bak 2005-11-30 22:23:47.000000000 +0100 +++ gjdoc-0.7.7/src/gnu/classpath/tools/gjdoc/Main.java 2007-03-15 01:48:59.915911696 +0100 @@ -1491,7 +1491,7 @@ option_showVersion = true; } }); - options.put("-bootclasspath", new OptionProcessor(1) + options.put("-bootclasspath", new OptionProcessor(2) { void process(String[] args) {