//This was created automatically by Class Generator
package rmi.rmiSynth;

public interface RMIInterface
    extends java.rmi.Remote {

  public long getBenchMark() throws java.rmi.RemoteException;

  public void hello() throws java.rmi.RemoteException;

  public java.lang.String getHello() throws java.rmi.RemoteException;

  public void multiplyBench(long p0)
      throws java.rmi.RemoteException;

  public static final String SERVER_NAME = "RMIServer";
}