scala-ide/scala-ide — pull request #737 by skyluc (2014-07-15 15:08:26+00:00)
Title: rebased pr/735

#735 rebased after merging #731