Update ReachCheck.java