soot.util.annotations (Soot - a J*va Optimization Framework 4.6.0-SNAPSHOT API)