svoid setCaret(final JTextComponent c, final int pos) {
  if (c != null) swing { c.setCaretPosition(pos); }
}