public static ArrayList<String> readFile(File filename) {
		ArrayList<String> lines = new ArrayList<String>();
		try {
			BufferedReader br = new BufferedReader(new FileReader(filename));
			try {
				String line = "";
				while ((line = br.readLine()) != null) {
					lines.add(line);
				}
				br.close();
			} catch (IOException e) {
				System.err.println("Read error " + e);
			}
		} catch (Exception e) {
			e.printStackTrace();
		}
		return lines;
	}