docs: public void addLayerWithFilter(String resultTag, String serverLayerId, String filter) {
  		// note: layer filter specification will be overwritten if it already
  		// exists
  		layerFilters.put(resultTag, new LayerFilterSpecification(serverLayerId, filter));
  	}