$package
  
  import java.util.*;
  import org.jcsp.lang.*;
  import java.math.BigInteger;
  $imports
  
  public class $className implements CSProcess {
  	
  $classBody
  	
  }