Oh yeah, I see. I had a look at your commit and I really like it so I've cherry-picked it and will push the changes shortly :) I created a ticket to handle the exceptions: https://scala-ide-portfolio.assembla.com/spaces/scala-ide/tickets/1001629