scala/scala — pull request #173 by xeno-by (2012-02-06 16:25:58+00:00)
Title: Assorted fixes

Multiple fixes that have been accumulated during my investigations of 5273.
Too heterogeneous to describe here, too minor to split into changesets.