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();
}