changing to Java 7 fronted
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
fixed Java 7 support
regenerating JastAdd fronted to pick up fix for class-loading problem again