scala-ide/scala-ide — pull request #189 by sschaef (2012-08-22 19:31:35+00:00)
Title: Fix 1001222

This bug is introduced with commit 88132af2126baa1a2f32971258a542a5f05de965