SecurityManager s = System.getSecurityManager(); if (s != null) s.checkPermission(new AWTPermission("listenToAllAWTEvents"));    boolean found = false; for (int i = 0; i < awtEventListeners.length; ++i) { AWTEventListenerProxy proxy = awtEventListeners[i]; if (proxy.getListener() == listener) { found = true;  AWTEventListenerProxy newProxy = new AWTEventListenerProxy(proxy.getEventMask() | eventMask, listener); awtEventListeners[i] = newProxy; break;
  public void addAWTEventListener(AWTEventListener listener, long eventMask)  {		// SecurityManager s = System.getSecurityManager();		// if (s != null)		//  s.checkPermission(AWTPermission("listenToAllAWTEvents"));		// FIXME	}