stratosphere/stratosphere — pull request #293 by aljoscha (2013-11-26 12:25:28+00:00)
Title: Scala fixings

Fix a lot of smaller things.