Given that the Javadoc content is embedded in the newly GPLed OpenJDK code, and the Javadocs can be generated by running the javadoc tool, aren the Javadocs now also under GPL?
Given that the Javadoc content is embedded in the newly GPLed OpenJDK code, and the Javadocs can be generated by running the javadoc tool, aren the Javadocs now also under GPL?
Yes. The documentation that can be generated by running the javadoc tool over the open-source code base is a derivative work of this code base and as such, must also be licensed under the GPL.
