public void addFieldListener(Identifier ident) {
		if (ident == null)
			throw new NullPointerException();
		if (fieldListeners == null)
			fieldListeners = new HashSet();
		if (!fieldListeners.contains(ident))
			fieldListeners.add(ident);
	}