// parse into a JavadocTextElement
JavadocTextElement e = factory.createJavadocTextElement();
e.setValue( new String(html) );
AdditionalLatex doc = factory.createAdditionalLatex();
doc.setDescription( e );
// add javadoc element to root
root.getReferences().add( e );
FileReference ref = factory.createFileReference();
ref.setName(cls.getName() + ".tex");
ref.setPackage(packageBase);
ref.setPlugin(plugin);
root.getReferences().add(ref);
doc.setReference(ref);
cls.getAdditionalLatex().add(doc);
} catch (IOException e) {
throw new DocumentationGenerationException(e);
}