private boolean setFocusIfNeeded(Configuration current, boolean foundFocused) {
		Configuration parentConfig = current.getParent();
		if (parentConfig == null)
			return foundFocused;

		if (parentConfig.getFocused()) {
			current.setFocused(true);
			if (!foundFocused) {
				configurations.setFocused(current);
				current.setFocused(true);

                //MERLIN MERLIN MERLIN MERLIN MERLIN// //not sure what might have been broken here
//				Automaton setWith = (Automaton) current.getAutoStack().peek();
				//System.out.println("Stack size "
				//		+ current.getAutoStack().size());
//				drawer.setAutomaton(setWith);
				foundFocused = true;
			}
		}
		return foundFocused;
	}