Change javadoc encoding