Ignore server.properties