docs: @Deprecated
      public static String extractTokenFromHeader(final String header, final String key) {
          int pos = header.indexOf(' ' + key + '=');
          if (pos == -1) {
              if(!header.startsWith(key + '=')) {
                  return null;
              }
              pos = 0;
          } else {
              pos++;
          }
          int end;
          int start = pos + key.length() + 1;
          for (end = start; end < header.length(); ++end) {
              char c = header.charAt(end);
              if (c == ' ' || c == '\t' || c == ';') {
                  break;
              }
          }
          return header.substring(start, end);
      }