scala-ide/scala-ide — pull request #582 by dotta (2013-11-07 13:54:06+00:00)
Title: Issue/exception during structure builder 1001955

@sschaef this PR might help nailing down https://scala-ide-portfolio.assembla.com/spaces/scala-ide/tickets/1001955