} // RUN
});
}
private void generateCatalogTree(Catalog catalog, String catalog_path) {
this.catalogTreeModel = new CatalogTreeModel(this.args, catalog, catalog_path);
this.catalogTree.setModel(this.catalogTreeModel);
this.catalog = catalog;
this.catalog_path = catalog_path;
//