scala/scala — pull request #565 by lrytz (2012-05-18 06:53:36+00:00)
Title: better feedback for SI-5044

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