Geospatial GWT widgets based on OpenLayers and Ext-GWT