JSON code moved to swingjs.json.JSON