scala/scala — pull request #579 by lrytz (2012-05-19 09:59:26+00:00)
Title: Fix SI-4812

build https://scala-webapps.epfl.ch/jenkins/job/scala-checkin-manual/21/