log.error("Draw2Channels.ControlReceiver.run(): " + e);
System.err.println("Draw2Channels.ControlReceiver.run(): " + e);
	public void run() {	    Object    tmp;	    while(true) {		try {		    tmp=control_channel.receive(0);				    if(tmp == null) continue;				    if(tmp instanceof View) {			View v=(View)tmp;			data_channel.down(new Event(Event.VIEW_CHANGE, v));			member_size=v.size();			if(mainFrame != null)			    mainFrame.setTitle(member_size + " mbrs");			continue;		    }		}		catch(ChannelNotConnectedException not) {		    break;		}		catch(ChannelClosedException closed) {		    return;		}		catch(Exception e) {		    log.error("Draw2Channels.ControlReceiver.run(): " + e);		    break;		}	    }	    	}