case SWT.Activate: {
((ShellListener) eventListener).shellActivated(new ShellEvent(e));
break;
}
case SWT.Arm: {
((ArmListener) eventListener).widgetArmed (new ArmEvent (e));
break;
}
case SWT.Close: {
/* Fields set by Decorations */
ShellEvent event = new ShellEvent (e);