Fix some things, properly parse escape sequences in strings in server.properties