}
box.setSelectedIndex( 0 );
final FormStylePopup popup = new FormStylePopup();
popup.setTitle( constants.NewFactPattern() );
popup.addAttribute( constants.chooseFactType(),
box );
box.addChangeHandler( new ChangeHandler() {
public void onChange(ChangeEvent event) {
pattern.addFactPattern( new FactPattern( box.getItemText( box.getSelectedIndex() ) ) );