Fix of the generation of the Javadoc