addObserver(pdfTree);
pages = new PagesTable(this, pageNavigationListener);
addObserver(pages);
outlines = new OutlineTree(this);
addObserver(outlines);
form = new FormTree(this);
addObserver(form);
xref = new XRefTable(this);
addObserver(xref);
navigationTabs = new JTabbedPane();
navigationTabs.addTab("Pages", null, RupsController.getScrollPane(pages), "Pages");