}
});
eventBus.addHandler(BindPolygonToRegionEvent.TYPE,
new BindPolygonToRegionEventHandler() {
public void onBindPolygonToRegion(BindPolygonToRegionEvent event) {
RegionPolygon p = event.getPolygon();
currentPolygon = p;
GWT.log("DUPE BindPolygonToRegionEventHandler currentPolygon="+currentPolygon);
polygonHash.put(p.getRegionDetailsId(), p);