scala-ide/scala-ide — pull request #753 by huitseeker (2014-07-30 15:56:00+00:00)
Title: Revert "Merge pull request #742 from sschaef/remove-java-partitions"

This reverts commit e69c738c68034deb8a9e64f667240ac4f0229609, reversing
changes made to f9098ee6cb35a6f5dcd3dc917205d359c1fb1d8d.

It completely reverts #742, pending a reedition by @sschaef