/src/xmlpatterns/qtokenautomaton/