scala/scala — pull request #1724 by paulp (2012-12-06 21:12:30+00:00)
Title: Merge msil and genjvm deletions.

This PR merges and supersedes #1717 and #1718.