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