Merge branch 'ins' of github.com:arashb/POS into ins
Merge branch 'ins' of github.com:arashb/POS into ins
Minor changes in batch job of instrumented code