Refined HeisenbugInjecter and HeisenbugReplayer, now we can simulate Heisenbug test
merge files, eliminate format issues