}
}
GridData gridData = new GridData( GridData.FILL_HORIZONTAL );
gridData.horizontalSpan = 2;
box.setLayoutData( gridData );
box.addListener( SWT.Selection,
new Listener() {
public void handleEvent(Event event) {
c.setOperator(HumanReadable.getOperatorName( box.getText() ));
getModeller().setDirty( true );
}