scala/scala — pull request #3903 by huitseeker (2014-07-30 12:48:35+00:00)
Title: Interactive / ScalaDoc housekeeping

Those are the leftovers of what should have been a larger bugfix PR, but that's finally not meant to be.

No issue, since the changes are straightforward & compiler warnings-driven, but I'd be happy to create one.

Should probably be merged into 2.12.

review by @jaguarul, who kindly agreed to look at what should be boring improvements