private void skipToNextItem(boolean skipWhitespace) {
    while ( hasNext() ) {
      char c = next(false);
      if ( (!skipWhitespace && Character.isWhitespace(c)) || c == ','
	  || c == '}' ) {
	pushback();
	break;
      }
    }
  }