analysis: use common servers.properties, UNTESTED