scala-ide/scala-ide — pull request #878 by dragos (2014-12-10 12:46:52+00:00)
Title: Create the right ElementInfo for package declaration.

This resulted in a ClassCastException before.

Fixed #1000572.