public Iterator<RevFlag> iterator() {final Iterator<RevFlag> i = active.iterator();return new Iterator<RevFlag>();}
public override Sharpen.Iterator<RevFlag> Iterator(){Sharpen.Iterator<RevFlag> i = active.Iterator();return new _Iterator_132(this, i);}