return (retval);
try { return Integer.parseInt(value); } catch (NumberFormatException e) { return defaultValue; }
	public int getHeaderFieldInt(String key, int def) {		String value = getHeaderField(key);		if (value == null)			return (def);		int retval = def;		try {			retval = Integer.parseInt(value);		} catch (NumberFormatException e) {			return (def);		}		return (retval);	}