Bump versions for Eclipse .classpath.
Remove cruft in repl.
Removing deprecations

drive-by cleanups.
Change Synchronized(Set|Map) to Java concurrency
Merge pull request #3969 from huitseeker/scaladoc-upheaval

Interactive / ScalaDoc housekeeping