change javadoc encoding from ASCII to UTF-8