eclipse-color-theme/eclipse-color-theme — pull request #131 by pulse00 (2013-05-21 06:55:11+00:00)
Title: added support for json plugin

Works only for the latest version of the plugin: https://github.com/pulse00/Json-Eclipse-Plugin