static S getTextTrimAndClear(JTextComponent c) {
  S text = getTextTrim(c);
  setText(c, "");
  ret text;
}