public void savePreferences() throws Exception {
		preferences.put(LANGUAGE, language);
		preferences.put(LOOK_AND_FEEL, lookAndFeel);
		preferences.put(SOLUTION_TYPE, solutionType.name());
		preferences.putBoolean(MAXIMAZED, maximazed);
		preferences.putInt(HEIGHT, height);
		preferences.putInt(WIDTH, width);
		try {
			// Write preferences
			preferences.flush();
		} catch (BackingStoreException ex) {
			throw new Exception("Couldn't write preferences", ex);
		}
	}