Update to new version of Scala IDE