Example server.properties
It finally reads server.properties!
Moved JSON encoding rules forward