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


class Handler extends java.lang.Object implements edu.ucdavis.jr.Handler, edu.ucdavis.jr.RemoteHandler {
    { JRinit(); }
    
    Handler() {
        // Begin Expr2
        super();
        JRprocess();
    }
    
    public void method(java.io.EOFException e) {
        // Begin Expr2
        System.out.println("Caught java.io.EOFException through handler object");
    }
    protected boolean JRcalled = false;
    protected JRHandler jrresref;
    public Object JRgetjrresref()
    { try {return jrresref.clone(); } catch (Exception e) {/* not gonna happen */ return null; } }
    protected void JRinit() {
    	if(this.JRcalled) return;
    	jrresref = new JRHandler();
    	this.JRcalled = true;
    }
    private boolean JRproc = false;
    private void JRprocess() {
    	if (JRproc) return;
    	JRproc = true;
    }
    public void JRhandler(Exception e)
    {
    	if (e instanceof java.io.EOFException)
    	{
    	  method((java.io.EOFException) e);
    	}
    	else
    	{
    	  throw new edu.ucdavis.jr.jrRuntimeError("Unexpected exception caught by handler object!\n" + e.toString());
    	}
    }
}
