Add ISO encoding to javadoc