String mime_type = tokenizer.getToken(";");
tokenizer.getToken(";");
	public void setContentType(String type) {		if (contentType == null) {			synchronized (this) {				if (contentType == null) {					contentType = type;					setHeader("Content-Type", type); //$NON-NLS-1$					int index = type.indexOf(';', 0);					if (index >= 0) {						Tokenizer tokenizer = new Tokenizer(type);						String mime_type = tokenizer.getToken(";"); //$NON-NLS-1$						tokenizer.getChar(); /* eat semicolon */						parseloop: while (true) {							String attribute = tokenizer.getToken("="); //$NON-NLS-1$							char c = tokenizer.getChar();							if (c != '=') {								break parseloop; /* invalid content type */							}							String value = tokenizer.getString(";"); //$NON-NLS-1$							c = tokenizer.getChar();							if ("charset".equalsIgnoreCase(attribute)) //$NON-NLS-1$							{								charset = value;							}							if (c == '\0') {								break parseloop;							}						}					}				}			}		}	}