// file:    EOF.java
// author:  Robert Keller
// purpose: Class of Poly package

package Poly;

import java.io.*;
import java.lang.*;
	
/**
  *  EOF represents an end-of-file
 **/

public class EOF
  {
  }