See SootProject for details.