synchronized ( this ) { this.infoIntMap = tempServerInfoList; }
usefulServers = null; oldServers = null;
	public void clean( MessageBuffer messageBuffer ) {		TIntObjectHashMap tempServerInfoList = new TIntObjectHashMap();					int[] usefulServers = messageBuffer.readInt32List();				for ( int i = 0; i < usefulServers.length; i++ ) {			int clientID = usefulServers[ i ];			tempServerInfoList.put( clientID, this.get( clientID ) );					}		synchronized ( this ) {			this.infoIntMap = tempServerInfoList;				}		this.setChanged();		this.notifyObservers( this );	}