code: private void notifyExtensionsSessionChanged(Exception exception) {
  		if (exception == null) {
  			getExtensionLoader().databaseOpen(model.getDb());
  			getExtensionLoader().sessionChangedAllPlugin(model.getSession());
  		}
  	}
docs: Notifies the extensions that the session changed, if the given exception is {@code null}.
  
  @param exception the exception that happened when changing the session, or {@code null} if none.