DO NOT EDIT OR ANSWER THIS ISSUE. SEE THE ORIGINAL ISSUE INSTEAD:
ORIGINAL REPORTER: Marc
From the Java documentation: When saving properties to a stream or loading them from a stream, the ISO 8859-1 character encoding is used. (http://java.sun.com/j2se/1.4.2/docs/api/java/util/Properties.html#encoding)
It would be nice if the editor could find out which Unicode characters exist in this encoding and encode only characters that don't exist.