DrJavaAtRice/DrScala — pull request #3 by mmjbot (2014-12-16 18:57:30+00:00)
Title: rm unnecessary drjava code

prune drjava specific code not used in drscala codebase