scala/scala — pull request #947 by phaller (2012-07-19 15:00:02+00:00)
Title: Critical bugfixes/leak fixes/API corrections + ScalaDoc for SIP-14

Review by @axel22 and @heathermiller