public StationSelectorMap(MapController controller) { super("523px"); // XXX map needs explicit height in px getMapWidget().setStylePrimaryName("n52-sensorwebclient-stationselector-map"); this.controller = controller; map.addLayer(markerLayer); try { if (isDefinedGlobalExtent()) { PropertiesManager propertiesMgr = getPropertiesManager(); double lleftX = new Double(propertiesMgr.getParameterAsString("lleftX")); double lleftY = new Double(propertiesMgr.getParameterAsString("lleftY")); double urightX = new Double(propertiesMgr.getParameterAsString("urightX")); double urightY = new Double(propertiesMgr.getParameterAsString("urightY")); EastingNorthing ll = new EastingNorthing(lleftX, lleftY, DISPLAY_PROJECTION); EastingNorthing ur = new EastingNorthing(urightX, urightY, DISPLAY_PROJECTION); defaultExtent = new BoundingBox(ll, ur); } else { GWT.log("No global extent configured. Zooming to: " + Constants.FALLBACK_EXTENT); defaultExtent = Constants.FALLBACK_EXTENT; } } catch (NumberFormatException e) { GWT.log("Error while parsing configured bounding box. Zooming to: " + Constants.FALLBACK_EXTENT); defaultExtent = Constants.FALLBACK_EXTENT; } zoomToExtent(defaultExtent); }