Anything that refers to the Eclipse plugin is probably very old. Eclipse Plugin has been dead for a few years AFAIK. Have you tried setting it up manually? -- MI -------------- next part -------------- An HTML attachment was scrubbed... URL: <https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20190118/2b16c6f5/attachment.html>