added some checks in JavaCompilerAPI to avoid the reload of unchanged classes (needs testing); added duplicate checks for getSuccessors; made RacAPI#runJunit return true on FAILED METHOD FOR NO REASON