scala/scala — pull request #2452 by magarciaEPFL (2013-04-25 18:43:58+00:00)
Title: cleanup of old stuff from the GenJVM era

review by @JamesIry or @gkossakowski