fix javadoc compilation