box.addChangeHandler( new ChangeHandler() {
public void onChange( ChangeEvent event ) {
pattern.setFactPattern( new FactPattern( box.getValue( box.getSelectedIndex() ) ) );
setModified( true );
getModeller().refreshWidget();
popup.hide();
}
} );
popup.addAttribute( Constants.INSTANCE.chooseFactType(),
box );