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