Modified by SIR to remove non-determinism caused by fault insertion.
2 lines were removed from Graph.java original line numbers are 163, 164
