new file:   Digraph.java