Fixed issue #727 generation of JSON extension for GWT edition.