import java.io.File;

public class FOTMain
{
  public static void main (String args[])
    {
      try
        {
          FOTTokenizer t;

          if(args.length>0)
            t = new FOTTokenizer(new File(args[0]));
          else
            t = new FOTTokenizer();

          try
            {
              new FOTParser(t).parse();
            }
          catch (Exception e)
            {
              System.err.println("*** Parsing error: "+e);
            }
        }
      catch (Exception e)
        {
          System.err.println("*** Tokenizing error: "+e);
        }
    }
}

This file was generated on Fri Jun 15 11:10:59 CEST 2018 from file FOTMain.java
by the hlt.language.tools.Hilite Java tool written by Hassan Aït-Kaci