Searched refs:termFile (Results 1 – 2 of 2) sorted by relevance
26 final File termFile = new File(args[0]); in main() local28 while (!termFile.exists()) { in main()
43 final File termFile = new File(args[0]); in main() local45 while (!termFile.exists()) { in main()