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