Allow to build the javadoc with JDK12

Description

We need some adjustments here and there, mainly because of https://bugs.openjdk.java.net/browse/JDK-8212233?focusedCommentId=14245762

Environment

None

Status

Assignee

Yoann Rodière

Reporter

Yoann Rodière

Labels

None

Suitable for new contributors

None

Feedback Requested

None

Components

Fix versions

Priority

Major
Configure