docs: private void notifyExtensionsSessionChanged(Exception exception) {
  		if (exception == null) {
  			getExtensionLoader().databaseOpen(model.getDb());
  			getExtensionLoader().sessionChangedAllPlugin(model.getSession());
  		}
  	}