race-fix

Java examples to test RacerD's capability for detecting concurrency bugs. Most examples are collected from RacerD's own benchamrk, as well as from the benchmark of PFix.