868869870871872873874875876877878
ontologyPanel.cancel(); pctrl.setOntologyInfo(null); pctrl.setOntologyPanel(null); } AdminPanel adminPanel = new AdminPanel(); interfaceType = InterfaceType.ADMIN; controlsPanel.showMenuBar(interfaceType); headerPanel.updateLinks(interfaceType);