scala-ide/scala-ide — pull request #29 by skyluc (2011-11-01 13:51:37+00:00)
Title: Error with classpath validator #1000631

Added check so markers are modified in the project is closed.

Please review.