// Assign coordinates of nodes to real objects
for (Node<NodeData, EdgeData> n : graph.getNodes()) {
if (!n.getData().isDummy()) {
Vertex node = n.getData().getNode();
node.setPosition(new Point(n.getData().getX(), n.getData().getY()));
}
}
for (Node<NodeData, EdgeData> n : graph.getNodes()) {
if (!n.getData().isDummy()) {
Vertex node = n.getData().getNode();
List<Edge<NodeData, EdgeData>> outEdges = n.getOutEdges();
for (Edge<NodeData, EdgeData> e : outEdges) {
Node<NodeData, EdgeData> succ = e.getDest();
if (succ.getData().isDummy()) {