docs: protected static int escapedLength(String theServletPath) {
  		int delta = 0;
  		for (int i = 0; i < theServletPath.length(); i++) {
  			char next = theServletPath.charAt(i);
  			if (next == ' ') {
  				delta = delta + 2;
  			}
  		}
  		return theServletPath.length() + delta;
  	}