Package soot.options