139140141142143144145146147148149
Iterator edges = edgeSet.iterator(); while ( edges.hasNext() ) { Edge edge = (Edge) edges.next(); RC.addEdge( edge, getTarget( edge ), getSource( edge ) ); } return RC; } catch ( GraphException e )