Properties Encoding

This fixes the encoding of the properties files, which is by default UTF-8 in Java 9+. Source: https://docs.oracle.com/en/java/javase/14/docs/api/java.base/java/util/Properties.html:

By default the UTF-8 character encoding is used, however a specific encoding may be specified if required.

It works on my machine (Windows 10), which is using Latin1 as default encoding for most tasks. This needs testing on other machines (especially on Unix based systems!).