Java Dijkstra verified; reporting methods verified; method to read graph incremented