scala-ide/scala-ide — pull request #885 by sschaef (2014-12-20 01:53:01+00:00)
Title: Fixes several warnings that occur during the build

This fixes warnings due to unchecked and not exhaustive pattern
matching.