Fix javadoc-creation errors