import javax.swing.undo.UndoManager;

static L<UndoManager> allUndoManagers() {
  ret cloneList(vm_generalWeakSet("Undo Managers"));
}