}
for (Node n : g.getNodes()) {
for (Transition t : n.getTransitionsAsT()) {
go.addEdge(t.getLabel() + "<!--" + Math.random() + "-->", n, t.getDestinationNode());
//JUNG's E set must be distinct, so chuck some random crap on the end of each label
//to make each one unique. HTML is used when rendering so we hide the random crap with a comment
}
}
try {