fixed javadoc umlaut issue