Fixes the javadoc generation for the JDK7 toolset