// Iterator will be empty
Sequence theCycle = new NodeSequence();
ObjectIterator pathVerts = prospectiveCycle_.elements();
while (pathVerts.hasNext()) {
Vertex v = (Vertex)pathVerts.nextObject();
theCycle.insertFirst(v);
if (v == cycleStart_) {
break;
}
}
// remove all decorations added during the DFS