wait, I'm confused, what are you commenting on ? I fixed this 
explicitly in https://github.com/huitseeker/scala-ide/commit/ea118ea202bd4e97786ee2ae99377621562f8990 
!?