}
public void exportTriggerChange(TriggerChange triggerChange) throws IOException {
FilePrintWriter out = null;
try {
DBTrigger oldTrigger = triggerChange.getOldTrigger();
DBTrigger newTrigger = triggerChange.getNewTrigger();
File htmlFile = triggerFile(oldTrigger);
FileUtil.ensureDirectoryExists(htmlFile.getParentFile());
File cssFile = context.reportFile("mad4db.css");
out = HtmlReportUtil.createFile(htmlFile, "Modified Trigger " + oldTrigger.getName(), Encodings.UTF_8, cssFile);
context.printNavBarFor(triggerFile(newTrigger), out);