A configurable GUI editor for JSON Objects