case SWT.Help: toString += new HelpEvent (event).toString (); break; case SWT.Arm: toString += new ArmEvent (event).toString (); break; case SWT.Traverse: toString += new TraverseEvent (event).toString (); break; case SWT.HardKeyDown: case SWT.HardKeyUp: