scala-ide/scala-ide — pull request #783 by skyluc (2014-09-01 12:07:00+00:00)
Title: Moves non-API logging classes in internal packages

No changes needed in the plugins.