[JFG][Fault-Tolerance] corr with findBugs and README