import javax.swing.undo.UndoManager;

svoid clearTextComponentUndoList(JTextComponent c) swing {
  UndoManager undo = cast metaGet(c, "UndoManager");
  printVars("clearTextComponentUndoList", +undo, +c);
  if (undo != null)
    undo.discardAllEdits();
}