scala/scala — pull request #3185 by sschaef (2013-11-22 21:51:52+00:00)
Title: Update Eclipse classpath files

Review by @adriaanm