JSON Editor: A Powerful Tool for Editing and Validating JSON Data