Thanks for helping, now it works well! -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20140530/4459b6c5/attachment.html