scala/scala — pull request #1019 by VladUreche (2012-07-30 11:06:34+00:00)
Title: Fix failing nightly build on java7

Review by @lrytz