static JComponent jTodo() {
  ret jcenteredlabel("TODO");
}