Imports for msg files
Instrumentation for locking
Checkpoints and commit points
Adding RAC piggiback on method calls for java.util.concurrent.locks.Lock
Adding JAVAFLAGS to classes target
first proper checkin in branch
Stack methods and variables
checking when clauses