Package soot.dotnet.proto