public static FiniteStateAutomaton removeMultipleCharacterLabels(
			Automaton automaton) {
		FiniteStateAutomaton fsa = (FiniteStateAutomaton) automaton.clone();
		Transition[] transitions = fsa.getTransitions();
		for (int k = 0; k < transitions.length; k++) {
			FSATransition transition = (FSATransition) transitions[k];
			String label = transition.getLabel();
			if (label.length() > 1) {
				handleLabel(transition, fsa);
			}
		}
		return fsa;
	}