Hi Eric, I think you're right. I've switched to the develop branch for the Soot project and its dependencies and it works fine now. Thanks! -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20140120/9ccd43aa/attachment.html