scala/scala — pull request #619 by magarciaEPFL (2012-05-24 18:47:19+00:00)
Title: Fixes SI-5805

review by @VladUreche
review by @dragos

Diagnosis and explanation of fix at https://issues.scala-lang.org/browse/SI-5805