update SootLauncher.java: launch