@Test
public void testHTMLWithConfig() {
// tests that the HTML plugin is configurable through its short name,
// using the provided configuration
PluginFactory factory = new PluginFactory();
OutputPlugin op = factory.initOutputPlugin("HTML",
"htmlOutputPlugin.properties");
assertNotNull(op);
assertTrue(op instanceof HtmlOutputPlugin);
HtmlOutputPlugin html = (HtmlOutputPlugin) op;
assertEquals("/html/templates", html.getBaseTemplatePath());