scala/scala — pull request #2460 by magarciaEPFL (2013-04-27 11:08:42+00:00)
Title: fixing root cause of SI-6863

review by @JamesIry