fStructureInputPane.addDoubleClickListener( new IDoubleClickListener() { public void doubleClick(DoubleClickEvent event) {
fStructureInputPane.addDoubleClickListener( event -> feedDefault1(event.getSelection()) );
fStructureInputPane.addDoubleClickListener( new IDoubleClickListener() { public void doubleClick(DoubleClickEvent event) {
fStructureInputPane.addDoubleClickListener( event -> feedDefault1(event.getSelection()) );