public void setValue(String name, String value) {
		int i = indexOfName(name);
		if (i == -1) {
			if ((value != null) && (!value.equals(""))) {
				add(name + ": " + value);
			}
		}
		else {
			if ((value != null) && (!value.equals(""))) {
				set(i, name + ": " + value);
			}
			else {
				delete(i);
			}
		}
	}