On Nov 30, 2015 11:51 AM, "Nick Burch" > For the JavaDocs, it isn't the ant version nor the forrest version that matters, only that of the JDK (and hence that of the javadoc tool)
I'm using Oracle JDK 8 on Linux x64. Are you using OpenJDK/IcedTea? If so, what version?
