package timingexp;

import java.rmi.*;
import java.rmi.server.*;

/**
 * An interface for reconfiguring the TestRMIServer between RMIExp
 * experiments.
 */
public interface TestRMIReconfigureIfc
	extends Remote {
	public void setCacheNotVeryUseful(boolean state)
		throws RemoteException;
}

