public static void relabelCallGraphNodes(
GraphReader<CallGraphNode, CallGraphLink> reader, Collection<CallGraphNode> vertices) {
// Reassign the labels of the vertices based on what was
// read in. (kludgy)
for (CallGraphNode vertex : vertices) {
String vertexLabel = reader.getVertexLabel(vertex);
vertex.setLabel(vertexLabel);
// vertex.setName(vertexLabel);
}
}
