Modified by SIR to remove non-determinism caused by fault insertion.
3 lines were removed from Graph.java original line numbers are 9, 11, 12
