public void insertUpdate(DocumentEvent e) {destinationAddressChanged();}
public void insertUpdate(DocumentEvent e) {numRepetitionsChanged();}
	public void insertUpdate(DocumentEvent e) {destinationAddressChanged();}