fix javadoc character encode error