if ( this.infoIntMap.contains( id ) ) { ServerInfo server = ( ServerInfo ) this.get( id );
ServerInfo server = ( ServerInfo ) this.get( id ); if ( server != null ) {
	public void update( MessageBuffer messageBuffer ) {		int id = messageBuffer.readInt32();		if ( this.infoIntMap.contains( id ) ) {			ServerInfo server = ( ServerInfo ) this.get( id );			server.update( messageBuffer );			/* ignore removed servers */			if ( server.getConnectionState().getState() != EnumState.REMOVE_HOST )				synchronized ( this.modified ) {					this.modified.add( server );				}			this.setChanged();			this.notifyObservers( this );		}	}