scala/scala — pull request #666 by magarciaEPFL (2012-06-05 09:51:46+00:00)
Title: Fixes ticket SI-4935

review by @VladUreche
review by @paulp