svoid setCaretPosition(final JTextComponent c, final int pos) {
  swingAndWait(r { c.setCaretPosition(pos) });
}