201202203204205206207208209210211
} @Override protected Automaton convertAutomaton(Automaton a) { if (unicodeAware) { Automaton utf8automaton = new UTF32ToUTF8().convert(a); BasicOperations.determinize(utf8automaton); return utf8automaton; } else { return a; }
200201202203204205206207208209210
202203204205206207208209210211212