I pushed an additional commit for this here https://github.com/dotta/scala-ide/commit/3b1238438211a07f1d2289dac48389f47bac0b04 (complain if you don't like it :))