7576777879808182838485
return; } try { bot.pause(); } catch (CoreException e) { builder.setFallbackErrorArea(mTemplate, "Error while pausing the bot '"+encodeHtml(bot.getName())+"' : "+ExceptionUtils.getExceptionStackTrace(e)); }