/* @see java.lang.Object#toString() */ public String toString() { return backend.toString(); }
/* @see java.lang.Object#hashCode() */ public int hashCode() { return backend.hashCode(); }
/** * @param theEvent * @throws net.jini.core.event.UnknownEventException * @throws java.rmi.RemoteException */ public void notify(RemoteEvent theEvent) throws UnknownEventException, RemoteException { backend.notify(theEvent); }