output.append("Building java source code: " + fbFile + "\n");
Document doc = Library.load(new File(fbFile));
if (doc != null) {
DOMTranslationModel translator = new DOMTranslationModel(doc,
null, "DOMtoJava.xsl", "Java");
String source = translator.performTranslation();
if (source != null) {
source = FBench.removeHTML(source);
String javaSourcePath = adjustPath(fbFile, ".java");