Add profile to workaround javadoc crash on JDK 11.0.2
Cf. for details
Seen among many repos these days.
Known already to be blocking
*
*
...
</plugins>
</build>
</profile>
+ <profile>
+ <!-- Workaround for https://bugs.openjdk.java.net/browse/JDK-8212233
+ TODO: likely just forbid 11.0.2 when 11.0.3 is out -->
+ <id>javadoc-crash-jdk-11.0.2</id>
+ <activation>
+ <property>
+ <name>java.version</name>
+ <value>11.0.2</value>
+ </property>
+ </activation>
+ <build>
+ <pluginManagement>
+ <plugins>
+ <plugin>
+ <artifactId>maven-javadoc-plugin</artifactId>
+ <configuration>
+ <source>${java.level}</source>
+ </configuration>
+ </plugin>
+ </plugins>
+ </pluginManagement>
+ </build>
+ </profile>
</profiles>
</project>
