Path	Lines of Code
src/java/detectors/thread_safety_violation/ThreadSafetyViolationCompliant.java	24
src/java/detectors/thread_safety_violation/ThreadSafetyViolationNoncompliant.java	24