Änderung an javadoc-encoding