Eclipse plugin for formatting JSON strings