324325326327328329330331332333334
if (servers[i] != null && servers[i].isSpawned()) { Server s = servers[i].getServer(); destroyed.add(new Integer(s.getServerID())); s.stop(); s.kill(); servers[i] = null; } } return destroyed;