downgrading to Java 5 again due to issues with new JastAdd fronted for Java 1.7
fixed a problem in Soot that would cause "duplicate class" errors depending on class-loading order
Merge branch 'hotfix/classloading-problem' into develop
Merge branch 'hotfix/classloading-problem'
fixed Java 7 support
regenerating JastAdd fronted to pick up fix for class-loading problem again
fix? for resolving problem
fixing type annotation
Merge branch 'hotfix/fix' into develop
handle phantom classes more gracefully
support for autoZero
added license headers
added better sorting support
refactoring: autoAddZero is now set in IFDSTabulationProblem
number of threads is now configured through SolverConfiguration, a new super interface of IFDSTabulationProblem
Improved AnnotationTag API and refactored some uses