static void bindBotToComponent(JComponent c, final Android3 bot) {
  bindToComponent(c, null, r { bot.dispose() });
}