Update scala-ide to 4.0.0
Merge pull request #8171 from jawshooah/update-scala-ide

Update scala-ide to 4.0.0