Use server.properties from default server.