Fixed preferences for Eclipse IDE.
Merge branch 'master' into soot
Initial support for the soot framework.
Tell Scala Organize Import to preserve existing groups.
Introduced methods full and empty in the JVMEnv abstract domain.
Merge branch 'master' into soot
Fixes printing of the method with annotations.
Use the chain of units instead of the CFG to follow the fallback flow.