if (charsSkipped > 0) {
      int endIndex = destIndex + charsSkipped;
      if (dest.length < endIndex) {
        dest = growBuffer(dest, destIndex, endIndex);
      }
      s.getChars(unescapedChunkStart, end, dest, destIndex);
      destIndex = endIndex;
    }
    return new String(dest, 0, destIndex);
  }

  /**

        if (path.startsWith("/admin") || path.startsWith("/error") || path.startsWith("/login")) {
            return true;
        }
        final int dotIndex = path.lastIndexOf('.');
        if (dotIndex >= 0) {
            final String extension = path.substring(dotIndex);
            return STATIC_EXTENSIONS.contains(extension);
        }
        return false;
    }

    /**

   * @since 11.0
   */
  public static String getFileExtension(String fullName) {
    checkNotNull(fullName);
    String fileName = new File(fullName).getName();
    int dotIndex = fileName.lastIndexOf('.');
    return (dotIndex == -1) ? "" : fileName.substring(dotIndex + 1);
  }

  /**
   * Returns the file name without its <a
   * href="http://en.wikipedia.org/wiki/Filename_extension">file extension</a> or path. This is