src/share/classes/javax/swing/undo/UndoableEditSupport.java

*** 99,112 ****
       *
       * @param e edit to be verified
       */
      protected void _postEdit(UndoableEdit e) {
          UndoableEditEvent ev = new UndoableEditEvent(realSource, e);
!         Enumeration cursor = ((Vector)listeners.clone()).elements();
          while (cursor.hasMoreElements()) {
!             ((UndoableEditListener)cursor.nextElement()).
!                 undoableEditHappened(ev);
          }
      }
  
      /**
       * DEADLOCK WARNING: Calling this method may call
--- 99,113 ----
       *
       * @param e edit to be verified
       */
      protected void _postEdit(UndoableEdit e) {
          UndoableEditEvent ev = new UndoableEditEvent(realSource, e);
!         @SuppressWarnings("unchecked")
!         Enumeration<UndoableEditListener> cursor =
!             ((Vector<UndoableEditListener>)listeners.clone()).elements();
          while (cursor.hasMoreElements()) {
!             cursor.nextElement().undoableEditHappened(ev);
          }
      }
  
      /**
       * DEADLOCK WARNING: Calling this method may call