Back to official scala-ide repo