scala/scala — pull request #557 by lrytz (2012-05-16 07:28:20+00:00)
Title: Fix for SI-5610

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