Server Properties File Editing

New awesome feature from the dead Craft Server Manager: GUI for
server.properties. It will be improved in the future.

And as always, other minor changes.