}   if (index != -1) { AWTEventListenerProxy[] newArray = new AWTEventListenerProxy[awtEventListeners.length - 1]; if (index > 0) System.arraycopy(awtEventListeners, 0, newArray, 0, index); if (index < awtEventListeners.length - 1) System.arraycopy(awtEventListeners, index + 1, newArray, index, awtEventListeners.length - index - 1); awtEventListeners = newArray; } }
  public void removeAWTEventListener(AWTEventListener listener)  {		// FIXME	}