/** * Set the MIME type for the document. * * @param s the new MIME type */ public void setMIMEType(String s) { del.setMIMEType(s); }