public ArrayList<String> readFile(String arg) {
		String thisLine;
		ArrayList<String> fileToRead = new ArrayList<String>();
		try {
		    //BufferedReader to scan in the file
		    BufferedReader buffy = new BufferedReader(new FileReader(arg));
		    while((thisLine = buffy.readLine()) != null && !thisLine.substring(0,7).trim().equals("ENDMDL")) { //while there are still lines in the document
				fileToRead.add(thisLine);
		    } //end while
		} // end try
		catch (IOException ioe) {
		    System.err.println("Error: " + ioe);
		    fileToRead.clear();
		}
		return fileToRead;
    }