docs: public String getStrippedSubstring() {
      // TODO: detect Java <6 and make sure we only return the substring?
      // With java 7, String.substring will arraycopy the characters.
      int sstart = start, send = end;
      while(sstart < send) {
        char c = input.charAt(sstart);
        if(c != ' ' || c != '\n' || c != '\r' || c != '\t') {
          break;
        }
        ++sstart;
      }
      while(--send >= sstart) {
        char c = input.charAt(send);
        if(c != ' ' || c != '\n' || c != '\r' || c != '\t') {
          break;
        }
      }
      ++send;
      return (sstart < send) ? input.subSequence(sstart, send).toString() : "";
    }