scala/scala — pull request #1925 by ViniciusMiana (2013-01-18 20:19:00+00:00)
Title: Fix SI-6853

This is a fix to: https://issues.scala-lang.org/browse/SI-6853
I could not assign it to myself on JIRA, even though I am user my name does not show up there.
review by: @phaller