pulse00/Json-Eclipse-Plugin — pull request #2 by gossi (2013-03-26 04:01:17+00:00)
Title: Public availability for the json editor

... and thus usable for third-party plugin developers.