Now also correctly setting source/sink inspection flags into backwards solver
got rid of a deprecated class
removed unnecessary queue
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