Description
The attached patch updates the default JDK javadoc URL to the 1.5 one, and removes a property that is apparently no longer needed.
The attached patch updates the default JDK javadoc URL to the 1.5 one, and removes a property that is apparently no longer needed.