9899100101102103104105106107108
// disconnect the bots bots_it = mBots.iterator(); while (bots_it.hasNext()) { bot = (Bot)bots_it.next(); bot.disconnect(); } fireFinished(); } catch (CoreException e)