public void processStimulus(Enumeration e) {
		WakeupCriterion wc;
		AWTEvent[] awtea;
		while (e.hasMoreElements()) {
			wc = (WakeupCriterion) e.nextElement();
			if (!(wc instanceof WakeupOnAWTEvent)) {
				continue;
			}
			awtea = ((WakeupOnAWTEvent) wc).getAWTEvent();
			for (int i = 0; i < awtea.length; i++) {
				if (awtea[i].getID() == KeyEvent.KEY_PRESSED) {
					processKeyEvent((KeyEvent) awtea[i]);
				}
			}
		}
		wakeupOn(wake);
	}