scala-ide/scala-ide — pull request #40 by hubertp (2011-11-08 14:54:26+00:00)
Title: Issue/jdk 1000406 again

This time it is fixed for real. And it doesn't cause the problems with compiler as last time (added test for that).