public AutomatonSpecification createFixedAutomaton() {
AutomatonSpecification noWhitespaceAutomaton = new NaiveAutomatonSpecification();
State state1 = noWhitespaceAutomaton.addState();
State state2 = noWhitespaceAutomaton.addState();
noWhitespaceAutomaton.addTransition(state1, state2,
new ComplementCharClassTransitionLabel(WHITESPACE_CHARS));
noWhitespaceAutomaton.markAsInitial(state1);
noWhitespaceAutomaton.markAsFinal(state2);
return noWhitespaceAutomaton;
}