docs: private boolean passesCodeWhitespaceRules(String v) {
  		if (!v.trim().equals(v))
  			return false;
  		boolean lastWasSpace = true;
  		for (char c : v.toCharArray()) {
  			if (c == ' ') {
  				if (lastWasSpace)
  					return false;
  				else
  					lastWasSpace = true;
  			} else if (Character.isWhitespace(c))
  				return false;
  			else
  				lastWasSpace = false;
  		}
  		return true;
  	}