scala-ide/scala-ide — pull request #799 by huitseeker (2014-09-11 09:56:46+00:00)
Title: Cleanup locate & friends

First of a series of PRs aiming at ScalaDoc, submitted for fast merge.