}
mapsToRefresh.remove(map);
final MapStyleModel extension = MapStyleModel.getExtension(map);
extension.refreshStyles();
final MapController mapController = Controller.getCurrentModeController().getMapController();
mapController.fireMapChanged(
new MapChangeEvent(this, map, MapStyle.MAP_STYLES, null, null));
}
});
}