Fix for the java-doc