Fix javadoc compilation