171819202122232425
State q = spec.addState(); spec.markAsInitial(q); spec.markAsFinal(q); spec.addTransition(q, q, new AnyTransitionLabel()); return spec; }