});
parentMenu.add(configureServerMenu);
progress.setModal(true);
ModelManager.getInstance().addObserver(new Observer() {
@Override
public void update(Observable o, Object arg) {
if (arg instanceof ObserverNotification) {
final ObserverNotification notification = (ObserverNotification) arg;
final NotificationType type = notification.getType();
if (type.equals(NotificationType.elementAdded)) {
if(arg instanceof ModelElement) {
onModelElementAdded((ModelElement) arg);
}
}
}
}
});
ModelManager.getInstance().addObserver(new Observer() {
@Override
public void update(Observable o, Object arg) {
if (arg instanceof ObserverNotification) {
final ObserverNotification notification = (ObserverNotification) arg;
final NotificationType type = notification.getType();