Fix Javadoc compilation