System.out.println ("ClientInter.receive exception: " + ri.operation ());
System.out.println ("ClientInter.receive exception: " );
	public void receive_exception (ClientRequestInfo ri) throws ForwardRequest	{		System.out.println ("ClientInter.receive exception: " + ri.operation ());	}