Ok, we can fix this.  This is only used to read the Server configuration (jvm arguments), so UTF-8 is probably ok.  That's a user-written file.