Encoding javadoc