Correct character encoding of properties file