public void open(String path) {
		File f = new File(path);
		String functions = "";
		if (f != null) {
			String ext = f.getName().substring(f.getName().length() - 2,
					f.getName().length());
			if (ext.compareTo("ks") != 0)
				JOptionPane.showMessageDialog(
						null,
						Tools.getLocalizedString("ERROR_OPENING") + " "
								+ f.getName() + " "
								+ Tools.getLocalizedString("ERROR_OPENING2"),
						Tools.getLocalizedString("ERROR"),
						JOptionPane.ERROR_MESSAGE);
			else {
				try {
					BufferedReader br = new BufferedReader(new FileReader(f));
					functions = br.readLine();
					isChanged = false;
					br.close();
				} catch (FileNotFoundException e1) {
				} catch (IOException e1) {
				} catch (Exception e) {
					System.err.println(e.getMessage());
				}
			}
		}
		program.getMainPanel().getTextField().setText(functions);
		simplify(SolutionType.DETAILLED_SOLUTION);
		isChanged = false;

	}