333334335336337338339340341342343
} private void updateNavigationTree(){ SBMLDocument doc = sbmlDocuments.getCurrentDocument(); if (doc != null){ navigationTree = new NavigationTree(doc); } else{ navigationTree = new NavigationTree(); } setNavigationTreeInJTree(); }