Update Digraph.java