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

public abstract class Recv_void
  extends Recv
  implements Serializable
{
    public long timestamp;
    public Recv_void(long timestamp, edu.ucdavis.jr.RemoteHandler handler, Exception thrown)
    {
	super(timestamp, handler, thrown);
	this.timestamp = timestamp;
    }
}
