 Adds the given listener.
	 * Has no effect if an identical listener was not already registered.
	 *
 Adds the given listener.
	 * Has no effect if an identical listener was not already registered.
	 * | AutoconfEditor.java