allStates = new Vector<ECState>();
NodeList states = element.getElementsByTagName("ECState");
NodeList trans = element.getElementsByTagName("ECTransition");
Vector ans = new Vector(states.getLength() + trans.getLength());
for (int i = 0; i < states.getLength(); i++)
ans.add(new ECState((Element) states.item(i), (i == 0)));
for (int i = 0; i < trans.getLength(); i++) {
GraphElement ge = GraphElement.forElement((Element) trans.item(i));
if (ge != null)
ans.add(ge);
}