soot: the correct bugfix on default JVM_OPTS; how hard can this be :(