1) raised source code compliance level to Java 1.7
2) patched FlowDroid to be compatible with the new version of Heros - though we have our own solver, we still use their interfaces