private String parseTrimmedChecked(String str, int ichStart, int ichMax) {
    int ich = ichStart;
    char ch;
    while (ich < ichMax && ((ch = str.charAt(ich)) == ' ' || ch == '\t'))
      ++ich;
    int ichLast = ichMax - 1;
    while (ichLast >= ich && ((ch = str.charAt(ichLast)) == ' ' || ch == '\t'))
      --ichLast;
    if (ichLast < ich)
      return "";
    ichNextParse = ichLast + 1;
    return str.substring(ich, ichLast + 1);
  }