soot: a bugfix on default JVM_OPTS