Remove Java 12+ maven profile which is no longer necessary, because Javadoc is now skipped on Java 11+.
<maven.javadoc.skip>true</maven.javadoc.skip>
</properties>
</profile>
- <profile>
- <id>java12+</id>
- <activation>
- <jdk>[12,)</jdk>
- </activation>
- <properties>
- <!-- currently fails with "javadoc: error - The code being documented uses modules but the packages defined in https://docs.oracle.com/javase/8/docs/api/ are in the unnamed module." -->
- <maven.javadoc.skip>true</maven.javadoc.skip>
- </properties>
- </profile>
</profiles>
</project>
