Bring server-properties inline with the latest stable release