scala-ide/scala-ide — comment on commit bf6de571469dcc92385c0f140ece0b2722cde42f
File:  line 0
By hubertp:

I would ask on scala-internals and Paul will probably comment.