//
// A remote interface for getting increasing numbers
//
import java.rmi.Remote;
import java.rmi.RemoteException;

public interface NextNumber extends Remote {
    public int getNextNumber(int n) throws RemoteException;
}