docs: javadoc source encoding is UTF-8