move file out of src package, minor bug fix on failure detectors