In-app documentation does not respect document encoding

[smallg0at]

In-app documentation does not respect document encoding currently, which will affect Chinese documentation display specifically when not using msi distribution & Java encoding is not utf-8 (once #772 is merged).

[lupino3]

Can you confirm that it works if you run java -Dfile.encoding=UTF8 -jar <path to JAR>?

[smallg0at]

Can you confirm that it works if you run java -Dfile.encoding=UTF8 -jar <path to JAR>?

Java throws java.lang.ClassNotFoundException: /encoding=UTF-8 error.

[lupino3]

On Windows, it needs to be run like this: java -D"file.encoding"=UTF8 -jar .\edumips64-1.3.0.jar. The MSI has the right settings.

[lupino3]

I'm thinking that the only way to prevent this problem would be to avoid using the File API at all to load the help. Much like we do for localization. I am not sure if this is possible, though.