code: public String[] getHeader(String name) {
          Vector values = new Vector();
  
          for(int i = 0; i < headers.size(); i++) {
              MimeHeader hdr = (MimeHeader) headers.elementAt(i);
              if (hdr.getName().equalsIgnoreCase(name)
                  && hdr.getValue() != null)
                  values.addElement(hdr.getValue());
          }
  
          if (values.size() == 0)
              return null;
  
          String r[] = new String[values.size()];
          values.copyInto(r);
          return r;
      }
docs: Returns all of the values for the specified header as an array of
  <code>String</code> objects.
  
  @param   name the name of the header for which values will be returned
  @return a <code>String</code> array with all of the values for the
  specified header
  @see #setHeader