Update testgdbb/TestReachability.java