repair javadoc