import java.rmi.*;
public interface ServerIntf extends Remote {
    void flush() throws RemoteException;
}