Update a checkfile from a recent fix.
Update a checkfile from a recent fix.

The build is currently broken:

  https://scala-webapps.epfl.ch/jenkins/view/2.10.x/job/scala-nightly-main-2.10.x/

jvican/scala,martijnhoekstra/scala,slothspot/scala,shimib/scala,martijnhoekstra/scala,martijnhoekstra/scala,jvican/scala,scala/scala,felixmulder/scala,jvican/scala,felixmulder/scala,lrytz/scala,scala/scala,shimib/scala,jvican/scala,jvican/scala,felixmulder/scala,felixmulder/scala,martijnhoekstra/scala,slothspot/scala,shimib/scala,slothspot/scala,jvican/scala,slothspot/scala,lrytz/scala,jvican/scala,martijnhoekstra/scala,scala/scala,lrytz/scala,scala/scala,scala/scala,lrytz/scala,felixmulder/scala,felixmulder/scala,shimib/scala,scala/scala,felixmulder/scala,lrytz/scala,martijnhoekstra/scala,shimib/scala,slothspot/scala,lrytz/scala,slothspot/scala,shimib/scala,slothspot/scala