} else if (result instanceof Plugin) {
return escapeHtml(result.getClass().getSimpleName());
} else if (result instanceof CrawlRules) {
return "<pre><code>" + escapeHtml(Serializer.toPrettyJson(result)) + "</code></pre>";
} else if (result instanceof BrowserConfiguration) {
BrowserConfiguration config = (BrowserConfiguration) result;
StringBuilder configAsString =
new StringBuilder().append(config.getNumberOfBrowsers())
.append(" browsers of type ")
.append(config.getBrowsertype());
if (!(config.getBrowserBuilder() instanceof WebDriverBrowserBuilder)) {
configAsString.append(" using builder ").append(config.getBrowserBuilder());
}
return configAsString.toString();
} else if (result instanceof Plugins) {
return toString(((Plugins) result).pluginNames());
} else if (result instanceof Number && ((Number) result).intValue() == 0) {