}
});
configurationList = new List(this, SWT.BORDER|SWT.V_SCROLL|SWT.H_SCROLL);
configurationList.setBounds(0, 40, 484, 400);
configurationListener = new PropertyListener() {
public void onPropertyChanged(final PropertyEvent event) {
final PropertyInfo configuration = event.getPropertyInfo();
synchronized (configurations) {
if (configurations.contains(configuration)) {
final int i = configurations.indexOf(configuration);