/*****************************************************
 * jr generated file
 ****************************************************/
import edu.ucdavis.jr.*;
import edu.ucdavis.jr.jrx.*;
import java.rmi.*;
import java.io.Serializable;

    public class JRmain
      extends 
JRjavadotlangdotObject
      implements Serializable, Cloneable 
    {
	public JRmain(JRmain copy)
	{
	}
	public JRmain()
	{
	}
	public JRmain(boolean dummy)	{
	    super(dummy);
	}
	public Object clone()
	    throws CloneNotSupportedException
	{
	    return super.clone();
	}
	public static Object getNoop()
	{
	    return new JRmain(true);
	}
    }
