// throwpoint: java.awt.Toolkit-addAWTEventListener
harness.checkPoint("addAWTEventListener");
try {
sm.prepareChecks(listenToAllAWTEvents);
toolkit.addAWTEventListener(listener, AWTEvent.KEY_EVENT_MASK);
sm.checkAllChecked();
}
catch (SecurityException ex) {
harness.debug(ex);
harness.check(false, "unexpected check");
}