public void setTip(String tip) {
		if (tip == null) {
			putValue(SHORT_DESCRIPTION, tip);
			return;
		}
		if (tip.equals(getValue(SHORT_DESCRIPTION)))
			return;
		putValue(SHORT_DESCRIPTION, tip);
	}