Property files encoding

Java resource bundle are saved in ascii. This can lead to problems and the special character must therefore be converted. There is a utility which comes with Java which allows to to exactly this.
The file is then awful, but everything is displayed correctly afterwards.

jdk1.6.0_18\bin\native2ascii.exe translations.properties translations_converted.properties