scala-ide/scala-ide — pull request #102 by dotta (2012-05-08 09:52:06+00:00)
Title: Added test for ticket #1001014

The test is currently ignored, it should be enabled once #1001014 is fixed.