scala/scala — pull request #2513 by xeno-by (2013-05-11 10:12:55+00:00)
Title: fixes a checkfile breakage in 2.10.x

The breakage is caused by https://github.com/scala/scala/commit/fbb13630d3
and https://github.com/scala/scala/commit/a8edefcef8 having been merged
independently from each other.