throws IOException, ParseError
throws IOException
  public void readTifs(String tifsfile)    throws IOException, ParseError    {      tifs = factory.makeList();      ATermAppl appl = null;      FileInputStream s = new FileInputStream(tifsfile);      do {	if (appl != null && appl.getName().startsWith("rec-")) {	  tifs = factory.makeList(appl, tifs);	}	appl = (ATermAppl)AbstractTool.readTerm(s, factory);      } while(!appl.getName().equals("end-of-tifs"));    }