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