static JComponent botSelector_withRefresh(final JComboBox cbBot) {
  ret centerAndEast(cbBot, withLeftMargin(
    jbutton("Refresh list", r { updateBotSelector(cbBot) })));
}