scala-ide/scala-ide — pull request #714 by huitseeker (2014-06-05 10:35:31+00:00)
Title: Prevent NoSuchElementException in Extract trait.

Fixes #1001967