jpf-core.classpath=\
${jpf-core}/build/jpf-classes.jar;\
+ ${jpf-core}/build/asm-7.1.jar;\
${jpf-core}/build/examples
jpf-core.sourcepath=\
### PreciseRaceDetector
# we don't check for races in standard libraries
-race.exclude=java.*,javax.*,groovy.*,org.*
+race.exclude=java.*,javax.*
############################### 5. test part #############################