int paramIndex = type.indexOf(';'); if (paramIndex > -1) {  type = type.substring(0, paramIndex).trim(); }
  public final void setContentType(String type)    {    if (editorKit != null	&& editorKit.getContentType().equals(type))      return;    	          EditorKit kit = getEditorKitForContentType(type);	    	    if (kit != null)      setEditorKit(kit);    }