*/
protected void doExport(OutputStream os,
ExportFormat format) {
ExportFormat exportFormat = formatPage.getSelectedExportFormat();
GraphComponent graphComponent = hierarchyPage.getSelectedGraphComponent();
exportFormat.export(graphComponent.getController(), os);
}
}