scala-ide/scala-ide — pull request #701 by gkossakowski (2014-05-25 14:20:33+00:00)
Title: Add support for name hashing

This is rebase of #621.

See individual commits for details.