scala/scala — pull request #1219 by odersky (2012-08-30 20:31:06+00:00)
Title: More worksheet nstrumentation changes

Made worksheet instrumentation more robust, eliminated unneeded code. Review by @dragos