docs: String extractPrefixAndReturnRest(String theString) {
  		int offset = 0;
  		while (true) {
  			if (theString.length() == offset) {
  				break;
  			} else {
  				char nextChar = theString.charAt(offset);
  				if (nextChar == '-' || Character.isDigit(nextChar)) {
  					break;
  				}
  			}
  			offset++;
  		}
  
  		String prefix = theString.substring(0, offset);
  		if (!isBlank(prefix)) {
  		
  			myPrefix = ParamPrefixEnum.forValue(prefix);
  	
  			if (myPrefix == null) {
  				switch (prefix) {
  				case ">=":
  					myPrefix = ParamPrefixEnum.GREATERTHAN_OR_EQUALS;
  					break;
  				case ">":
  					myPrefix = ParamPrefixEnum.GREATERTHAN;
  					break;
  				case "<=":
  					myPrefix = ParamPrefixEnum.LESSTHAN_OR_EQUALS;
  					break;
  				case "<":
  					myPrefix = ParamPrefixEnum.LESSTHAN;
  					break;
  				case "~":
  					myPrefix = ParamPrefixEnum.APPROXIMATE;
  					break;
  				default :
  					ourLog.warn("Invalid prefix being ignored: {}", prefix);
  					break;
  				}
  				
  				if (myPrefix != null) {
  					ourLog.warn("Date parameter has legacy prefix '{}' which has been removed from FHIR. This should be replaced with '{}'", prefix, myPrefix);
  				}
  				
  			}
  			
  		}
  		
  		return theString.substring(offset);
  	}