private void setUpPanelWithUserLibrary(boolean enabled) {
   cfg.USER_DEFINED_LIBRARY_ENABLED = enabled;
   panel.init(cfg, aggregatingPanel, listener);
 }
 public void updateConfigurationWithChanges(XQueryDataSourceConfiguration currentConfiguration) {
   currentConfiguration.USER_DEFINED_LIBRARY_ENABLED = isUserDefinedLibraryEnabled();
   currentConfiguration.USER_DEFINED_LIBRARY_PATHS = getUserDefinedLibraryPaths();
 }