code: private String[] extractHeaderList(String headerList, int prefixLen) {
          // Remove the trailing and leading ')('
          String tmp = headerList.substring(prefixLen + 1, headerList.length() - 1);
          return split(tmp, " ");
      }
docs: TODO should do this at parse time.