Fix Javadoc generation.