/** * File: GroupMonitor.java * Content: part of the RMI specification of sensei domains * Interface defining a lock shared by replicas * Author: LuisM Pena * Date: 27th October 2001 * Version: 0.51.00 * Last change: * **/ package sensei.middleware.domains; import java.rmi.RemoteException; /** * Interface defining a lock shared by replicas */ public interface GroupMonitor extends ExtendedCheckpointable, Monitor { };