scala-ide/scala-ide — pull request #742 by sschaef (2014-07-17 18:53:37+00:00)
Title: Remove java partitions

This replaces all occurrences to Java partitions with Scala partitions.