public static void run(List inputFiles) { Iterator iter = inputFiles.iterator();
public static void run() { Iterator iter = params.getInputFiles().iterator();
	public static void run(List inputFiles) {		Iterator iter = inputFiles.iterator();		String fileName = "";		try {			ADTFactory factory = new ADTFactory();			ATermList all = factory.getEmpty();			while (iter.hasNext()) {				fileName = (String) iter.next();				FileInputStream fis = new FileInputStream(fileName);				all = all.concat((ATermList) factory.readFromFile(fis));			}			Entries entries = factory.EntriesFromTerm(all);			generateAPI(new ADT(entries));		}		catch (FileNotFoundException e) {			System.err.println("Error: File not found: " + fileName);		}		catch (IOException e) {			System.err.println("Error: Could not read ADT from input: " + fileName);		}		catch (ParseError e) {			System.err.println("Error: A parse error occurred in the ADT file:" + e);		}		catch (RuntimeException e) {			System.err.println("Error: " + e.getMessage());		}	}