Fix javadoc generation