Actually, it turns out that compiling against scala-ide-stable is not safe. I'm not going into details, but it's better at this point to use the nightly update-site.