docs: public ParameterTool mergeWith(ParameterTool other) {
  		final Map<String, String> resultData = new HashMap<>(data.size() + other.data.size());
  		resultData.putAll(data);
  		resultData.putAll(other.data);
  
  		final ParameterTool ret = new ParameterTool(resultData);
  
  		final HashSet<String> requestedParametersLeft = new HashSet<>(data.keySet());
  		requestedParametersLeft.removeAll(unrequestedParameters);
  
  		final HashSet<String> requestedParametersRight = new HashSet<>(other.data.keySet());
  		requestedParametersRight.removeAll(other.unrequestedParameters);
  
  		ret.unrequestedParameters.removeAll(requestedParametersLeft);
  		ret.unrequestedParameters.removeAll(requestedParametersRight);
  
  		return ret;
  	}