}
private void writeHeader() throws MaltChainedException {
try {
if (header == null) {
header = new TigerXMLHeader(dataFormatInstance.getSymbolTables());
}
writer.write(header.toTigerXML());
// hasWriteTigerXMLHeader = true;
} catch (IOException e) {
throw new DataFormatException("The TigerXML writer could not write to file. ", e);