return result;
	public ServerInfo[] getServers() {		Object[] temp = this.infoIntMap.getValues();		ServerInfo[] result = new ServerInfo[ temp.length ];		for ( int i = 0; i < temp.length; i++ ) {			result[ i ] = ( ServerInfo ) temp [ i ];		}		return result;			}