soot.dotnet.exceptions (Soot - a J*va Optimization Framework 4.6.0-SNAPSHOT API)