fix javadox