if ((substitution.hasChanged()) && (substitution.getState() == NLSSubstitution.EXTERNALIZED)) {
if (substitution.getState() == NLSSubstitution.EXTERNALIZED) {
			public void doubleClick(DoubleClickEvent event) {				Set selected= getSelectedTableEntries();				if (selected.size() != 1)					return;				NLSSubstitution substitution= (NLSSubstitution)selected.iterator().next();				if ((substitution.hasChanged()) && (substitution.getState() == NLSSubstitution.EXTERNALIZED)) {					openEditButton(event.getSelection());				}			}