Do not generate exceptions when the classpath is invalid in Soot GUI.
Fix visualization of properties in annotated output
Upgrade to sbt-assembly plugin 0.9.2
Use frequency method for variableMul in numerical properties.

As a consequence, Jandom now depends from PPL 1.1-pre10.
Add test for variable multiplication.