- fixed bugs in java reporting
- still bug in loop unwinding that introduces false positives.