PortalControl.getInstance().setLoginResult(loginResult);
// TODO: remove this parameter once PortalMainPanel does not need it
List<RegisteredOntologyInfo> ontologyInfos = new ArrayList<RegisteredOntologyInfo>();
portalMainPanel = new PortalMainPanel(params, ontologyInfos);
PortalControl.getInstance().setPortalMainPanel(portalMainPanel);
// set the logingResult but do not trigger any updates:
portalMainPanel.setLoginResult(loginResult);