Andy Wilkinson 027f9182a8 Generate Javadoc with same source level as used for compilation ...

This works around a change in javadoc generation in JDK 11.0.2. See
https://bugs.openjdk.java.net/browse/JDK-8212233 for details.

2019-02-14 08:23:20 +00:00

..

pom.xml

Generate Javadoc with same source level as used for compilation

2019-02-14 08:23:20 +00:00