Correct build command for scala-ide
Merge pull request #3015 from sschaef/eclipse-update

Correct build command for scala-ide