public void loadFile() {
		try {
			FileReader fr = new FileReader(file);
			char[] buff = new char[(int) file.length()];
			if (Compiler.verbose())
				System.out.println("Reading file...");
			fr.read(buff);
			fr.close();
			text = new String(buff);

		} catch (IOException e) {
			e.printStackTrace();
		}
	}