}   if (! found) { AWTEventListenerProxy proxy = new AWTEventListenerProxy(eventMask, listener); AWTEventListenerProxy[] newArray = new AWTEventListenerProxy[awtEventListeners.length + 1]; System.arraycopy(awtEventListeners, 0, newArray, 0, awtEventListeners.length); newArray[newArray.length - 1] = proxy; awtEventListeners = newArray; } }
  public void addAWTEventListener(AWTEventListener listener, long eventMask)  {		// SecurityManager s = System.getSecurityManager();		// if (s != null)		//  s.checkPermission(AWTPermission("listenToAllAWTEvents"));		// FIXME	}