// Counter remote interface:
import cornell.slk.jkernel.core.Remote;
import cornell.slk.jkernel.core.RemoteException;
public interface Counter extends Remote
{
    int incrementCount() throws RemoteException;
}