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