fixed a problem in Soot that would cause "duplicate class" errors depending on class-loading order
Merge branch 'hotfix/classloading-problem' into develop