scala/scala — pull request #596 by magarciaEPFL (2012-05-21 20:44:51+00:00)
Title: fix for SI-5672

review by @VladUreche