restricting logging to soot.Main makes things more reliable