package senseiTests.randomCounter.rmi;

import sensei.middleware.gmns.ReplicatedServer;

import java.rmi.RemoteException;

public interface RandomCounterServer extends ReplicatedServer
{
  public int getNumber() throws RemoteException;
}