source: josm/trunk/src/org/openstreetmap/josm/gui/preferences/PreferenceTabbedPane.java@ 12637

Last change on this file since 12637 was 12637, checked in by Don-vip, 7 years ago

see #15182 - deprecate Main.toolbar. Replacement: gui.MainApplication.getToolbar()
  • Property svn:eol-style set to native
File size: 25.2 KB
Line 
1// License: GPL. For details, see LICENSE file.
2package org.openstreetmap.josm.gui.preferences;
3
4import static org.openstreetmap.josm.tools.I18n.tr;
5
6import java.awt.Component;
7import java.awt.Font;
8import java.awt.GridBagLayout;
9import java.awt.event.MouseWheelEvent;
10import java.awt.event.MouseWheelListener;
11import java.util.ArrayList;
12import java.util.Collection;
13import java.util.HashSet;
14import java.util.Iterator;
15import java.util.LinkedList;
16import java.util.List;
17import java.util.Set;
18
19import javax.swing.BorderFactory;
20import javax.swing.Icon;
21import javax.swing.ImageIcon;
22import javax.swing.JLabel;
23import javax.swing.JOptionPane;
24import javax.swing.JPanel;
25import javax.swing.JScrollPane;
26import javax.swing.JTabbedPane;
27import javax.swing.SwingUtilities;
28import javax.swing.event.ChangeEvent;
29import javax.swing.event.ChangeListener;
30
31import org.openstreetmap.josm.Main;
32import org.openstreetmap.josm.actions.ExpertToggleAction;
33import org.openstreetmap.josm.actions.ExpertToggleAction.ExpertModeChangeListener;
34import org.openstreetmap.josm.actions.RestartAction;
35import org.openstreetmap.josm.gui.HelpAwareOptionPane;
36import org.openstreetmap.josm.gui.HelpAwareOptionPane.ButtonSpec;
37import org.openstreetmap.josm.gui.MainApplication;
38import org.openstreetmap.josm.gui.preferences.advanced.AdvancedPreference;
39import org.openstreetmap.josm.gui.preferences.audio.AudioPreference;
40import org.openstreetmap.josm.gui.preferences.display.ColorPreference;
41import org.openstreetmap.josm.gui.preferences.display.DisplayPreference;
42import org.openstreetmap.josm.gui.preferences.display.DrawingPreference;
43import org.openstreetmap.josm.gui.preferences.display.LafPreference;
44import org.openstreetmap.josm.gui.preferences.display.LanguagePreference;
45import org.openstreetmap.josm.gui.preferences.imagery.ImageryPreference;
46import org.openstreetmap.josm.gui.preferences.map.BackupPreference;
47import org.openstreetmap.josm.gui.preferences.map.MapPaintPreference;
48import org.openstreetmap.josm.gui.preferences.map.MapPreference;
49import org.openstreetmap.josm.gui.preferences.map.TaggingPresetPreference;
50import org.openstreetmap.josm.gui.preferences.plugin.PluginPreference;
51import org.openstreetmap.josm.gui.preferences.projection.ProjectionPreference;
52import org.openstreetmap.josm.gui.preferences.remotecontrol.RemoteControlPreference;
53import org.openstreetmap.josm.gui.preferences.server.AuthenticationPreference;
54import org.openstreetmap.josm.gui.preferences.server.OverpassServerPreference;
55import org.openstreetmap.josm.gui.preferences.server.ProxyPreference;
56import org.openstreetmap.josm.gui.preferences.server.ServerAccessPreference;
57import org.openstreetmap.josm.gui.preferences.shortcut.ShortcutPreference;
58import org.openstreetmap.josm.gui.preferences.validator.ValidatorPreference;
59import org.openstreetmap.josm.gui.preferences.validator.ValidatorTagCheckerRulesPreference;
60import org.openstreetmap.josm.gui.preferences.validator.ValidatorTestsPreference;
61import org.openstreetmap.josm.plugins.PluginDownloadTask;
62import org.openstreetmap.josm.plugins.PluginHandler;
63import org.openstreetmap.josm.plugins.PluginInformation;
64import org.openstreetmap.josm.tools.CheckParameterUtil;
65import org.openstreetmap.josm.tools.GBC;
66import org.openstreetmap.josm.tools.ImageProvider;
67import org.openstreetmap.josm.tools.Logging;
68import org.openstreetmap.josm.tools.bugreport.BugReportExceptionHandler;
69
70/**
71 * The preference settings.
72 *
73 * @author imi
74 */
75public final class PreferenceTabbedPane extends JTabbedPane implements MouseWheelListener, ExpertModeChangeListener, ChangeListener {
76
77 private final class PluginDownloadAfterTask implements Runnable {
78 private final PluginPreference preference;
79 private final PluginDownloadTask task;
80 private final Set<PluginInformation> toDownload;
81
82 private PluginDownloadAfterTask(PluginPreference preference, PluginDownloadTask task,
83 Set<PluginInformation> toDownload) {
84 this.preference = preference;
85 this.task = task;
86 this.toDownload = toDownload;
87 }
88
89 @Override
90 public void run() {
91 boolean requiresRestart = false;
92
93 for (PreferenceSetting setting : settingsInitialized) {
94 if (setting.ok()) {
95 requiresRestart = true;
96 }
97 }
98
99 // build the messages. We only display one message, including the status information from the plugin download task
100 // and - if necessary - a hint to restart JOSM
101 //
102 StringBuilder sb = new StringBuilder();
103 sb.append("<html>");
104 if (task != null && !task.isCanceled()) {
105 PluginHandler.refreshLocalUpdatedPluginInfo(task.getDownloadedPlugins());
106 sb.append(PluginPreference.buildDownloadSummary(task));
107 }
108 if (requiresRestart) {
109 sb.append(tr("You have to restart JOSM for some settings to take effect."));
110 sb.append("<br/><br/>");
111 sb.append(tr("Would you like to restart now?"));
112 }
113 sb.append("</html>");
114
115 // display the message, if necessary
116 //
117 if (requiresRestart) {
118 final ButtonSpec[] options = RestartAction.getButtonSpecs();
119 if (0 == HelpAwareOptionPane.showOptionDialog(
120 Main.parent,
121 sb.toString(),
122 tr("Restart"),
123 JOptionPane.INFORMATION_MESSAGE,
124 null, /* no special icon */
125 options,
126 options[0],
127 null /* no special help */
128 )) {
129 Main.main.menu.restart.actionPerformed(null);
130 }
131 } else if (task != null && !task.isCanceled()) {
132 JOptionPane.showMessageDialog(
133 Main.parent,
134 sb.toString(),
135 tr("Warning"),
136 JOptionPane.WARNING_MESSAGE
137 );
138 }
139
140 // load the plugins that can be loaded at runtime
141 List<PluginInformation> newPlugins = preference.getNewlyActivatedPlugins();
142 if (newPlugins != null) {
143 Collection<PluginInformation> downloadedPlugins = null;
144 if (task != null && !task.isCanceled()) {
145 downloadedPlugins = task.getDownloadedPlugins();
146 }
147 List<PluginInformation> toLoad = new ArrayList<>();
148 for (PluginInformation pi : newPlugins) {
149 if (toDownload.contains(pi) && downloadedPlugins != null && !downloadedPlugins.contains(pi)) {
150 continue; // failed download
151 }
152 if (pi.canloadatruntime) {
153 toLoad.add(pi);
154 }
155 }
156 // check if plugin dependences can also be loaded
157 Collection<PluginInformation> allPlugins = new HashSet<>(toLoad);
158 allPlugins.addAll(PluginHandler.getPlugins());
159 boolean removed;
160 do {
161 removed = false;
162 Iterator<PluginInformation> it = toLoad.iterator();
163 while (it.hasNext()) {
164 if (!PluginHandler.checkRequiredPluginsPreconditions(null, allPlugins, it.next(), requiresRestart)) {
165 it.remove();
166 removed = true;
167 }
168 }
169 } while (removed);
170
171 if (!toLoad.isEmpty()) {
172 PluginHandler.loadPlugins(PreferenceTabbedPane.this, toLoad, null);
173 }
174 }
175
176 Main.parent.repaint();
177 }
178 }
179
180 /**
181 * Allows PreferenceSettings to do validation of entered values when ok was pressed.
182 * If data is invalid then event can return false to cancel closing of preferences dialog.
183 * @since 10600 (functional interface)
184 */
185 @FunctionalInterface
186 public interface ValidationListener {
187 /**
188 *
189 * @return True if preferences can be saved
190 */
191 boolean validatePreferences();
192 }
193
194 private interface PreferenceTab {
195 TabPreferenceSetting getTabPreferenceSetting();
196
197 Component getComponent();
198 }
199
200 public static final class PreferencePanel extends JPanel implements PreferenceTab {
201 private final transient TabPreferenceSetting preferenceSetting;
202
203 private PreferencePanel(TabPreferenceSetting preferenceSetting) {
204 super(new GridBagLayout());
205 CheckParameterUtil.ensureParameterNotNull(preferenceSetting);
206 this.preferenceSetting = preferenceSetting;
207 buildPanel();
208 }
209
210 private void buildPanel() {
211 setBorder(BorderFactory.createEmptyBorder(5, 5, 5, 5));
212 add(new JLabel(preferenceSetting.getTitle()), GBC.eol().insets(0, 5, 0, 10).anchor(GBC.NORTHWEST));
213
214 JLabel descLabel = new JLabel("<html>"+preferenceSetting.getDescription()+"</html>");
215 descLabel.setFont(descLabel.getFont().deriveFont(Font.ITALIC));
216 add(descLabel, GBC.eol().insets(5, 0, 5, 20).fill(GBC.HORIZONTAL));
217 }
218
219 @Override
220 public TabPreferenceSetting getTabPreferenceSetting() {
221 return preferenceSetting;
222 }
223
224 @Override
225 public Component getComponent() {
226 return this;
227 }
228 }
229
230 public static final class PreferenceScrollPane extends JScrollPane implements PreferenceTab {
231 private final transient TabPreferenceSetting preferenceSetting;
232
233 private PreferenceScrollPane(Component view, TabPreferenceSetting preferenceSetting) {
234 super(view);
235 this.preferenceSetting = preferenceSetting;
236 }
237
238 private PreferenceScrollPane(PreferencePanel preferencePanel) {
239 this(preferencePanel.getComponent(), preferencePanel.getTabPreferenceSetting());
240 }
241
242 @Override
243 public TabPreferenceSetting getTabPreferenceSetting() {
244 return preferenceSetting;
245 }
246
247 @Override
248 public Component getComponent() {
249 return this;
250 }
251 }
252
253 // all created tabs
254 private final transient List<PreferenceTab> tabs = new ArrayList<>();
255 private static final Collection<PreferenceSettingFactory> SETTINGS_FACTORIES = new LinkedList<>();
256 private static final PreferenceSettingFactory ADVANCED_PREFERENCE_FACTORY = new AdvancedPreference.Factory();
257 private final transient List<PreferenceSetting> settings = new ArrayList<>();
258
259 // distinct list of tabs that have been initialized (we do not initialize tabs until they are displayed to speed up dialog startup)
260 private final transient List<PreferenceSetting> settingsInitialized = new ArrayList<>();
261
262 final transient List<ValidationListener> validationListeners = new ArrayList<>();
263
264 /**
265 * Add validation listener to currently open preferences dialog. Calling to removeValidationListener is not necessary, all listeners will
266 * be automatically removed when dialog is closed
267 * @param validationListener validation listener to add
268 */
269 public void addValidationListener(ValidationListener validationListener) {
270 validationListeners.add(validationListener);
271 }
272
273 /**
274 * Construct a PreferencePanel for the preference settings. Layout is GridBagLayout
275 * and a centered title label and the description are added.
276 * @param caller Preference settings, that display a top level tab
277 * @return The created panel ready to add other controls.
278 */
279 public PreferencePanel createPreferenceTab(TabPreferenceSetting caller) {
280 return createPreferenceTab(caller, false);
281 }
282
283 /**
284 * Construct a PreferencePanel for the preference settings. Layout is GridBagLayout
285 * and a centered title label and the description are added.
286 * @param caller Preference settings, that display a top level tab
287 * @param inScrollPane if <code>true</code> the added tab will show scroll bars
288 * if the panel content is larger than the available space
289 * @return The created panel ready to add other controls.
290 */
291 public PreferencePanel createPreferenceTab(TabPreferenceSetting caller, boolean inScrollPane) {
292 CheckParameterUtil.ensureParameterNotNull(caller, "caller");
293 PreferencePanel p = new PreferencePanel(caller);
294
295 PreferenceTab tab = p;
296 if (inScrollPane) {
297 PreferenceScrollPane sp = new PreferenceScrollPane(p);
298 tab = sp;
299 }
300 tabs.add(tab);
301 return p;
302 }
303
304 @FunctionalInterface
305 private interface TabIdentifier {
306 boolean identify(TabPreferenceSetting tps, Object param);
307 }
308
309 private void selectTabBy(TabIdentifier method, Object param) {
310 for (int i = 0; i < getTabCount(); i++) {
311 Component c = getComponentAt(i);
312 if (c instanceof PreferenceTab) {
313 PreferenceTab tab = (PreferenceTab) c;
314 if (method.identify(tab.getTabPreferenceSetting(), param)) {
315 setSelectedIndex(i);
316 return;
317 }
318 }
319 }
320 }
321
322 public void selectTabByName(String name) {
323 selectTabBy((tps, name1) -> name1 != null && tps != null && tps.getIconName() != null && name1.equals(tps.getIconName()), name);
324 }
325
326 public void selectTabByPref(Class<? extends TabPreferenceSetting> clazz) {
327 selectTabBy((tps, clazz1) -> tps.getClass().isAssignableFrom((Class<?>) clazz1), clazz);
328 }
329
330 public boolean selectSubTabByPref(Class<? extends SubPreferenceSetting> clazz) {
331 for (PreferenceSetting setting : settings) {
332 if (clazz.isInstance(setting)) {
333 final SubPreferenceSetting sub = (SubPreferenceSetting) setting;
334 final TabPreferenceSetting tab = sub.getTabPreferenceSetting(this);
335 selectTabBy((tps, unused) -> tps.equals(tab), null);
336 return tab.selectSubTab(sub);
337 }
338 }
339 return false;
340 }
341
342 /**
343 * Returns the {@code DisplayPreference} object.
344 * @return the {@code DisplayPreference} object.
345 */
346 public DisplayPreference getDisplayPreference() {
347 return getSetting(DisplayPreference.class);
348 }
349
350 /**
351 * Returns the {@code MapPreference} object.
352 * @return the {@code MapPreference} object.
353 */
354 public MapPreference getMapPreference() {
355 return getSetting(MapPreference.class);
356 }
357
358 /**
359 * Returns the {@code PluginPreference} object.
360 * @return the {@code PluginPreference} object.
361 */
362 public PluginPreference getPluginPreference() {
363 return getSetting(PluginPreference.class);
364 }
365
366 /**
367 * Returns the {@code ImageryPreference} object.
368 * @return the {@code ImageryPreference} object.
369 */
370 public ImageryPreference getImageryPreference() {
371 return getSetting(ImageryPreference.class);
372 }
373
374 /**
375 * Returns the {@code ShortcutPreference} object.
376 * @return the {@code ShortcutPreference} object.
377 */
378 public ShortcutPreference getShortcutPreference() {
379 return getSetting(ShortcutPreference.class);
380 }
381
382 /**
383 * Returns the {@code ServerAccessPreference} object.
384 * @return the {@code ServerAccessPreference} object.
385 * @since 6523
386 */
387 public ServerAccessPreference getServerPreference() {
388 return getSetting(ServerAccessPreference.class);
389 }
390
391 /**
392 * Returns the {@code ValidatorPreference} object.
393 * @return the {@code ValidatorPreference} object.
394 * @since 6665
395 */
396 public ValidatorPreference getValidatorPreference() {
397 return getSetting(ValidatorPreference.class);
398 }
399
400 /**
401 * Saves preferences.
402 */
403 public void savePreferences() {
404 // create a task for downloading plugins if the user has activated, yet not downloaded, new plugins
405 final PluginPreference preference = getPluginPreference();
406 if (preference != null) {
407 final Set<PluginInformation> toDownload = preference.getPluginsScheduledForUpdateOrDownload();
408 final PluginDownloadTask task;
409 if (toDownload != null && !toDownload.isEmpty()) {
410 task = new PluginDownloadTask(this, toDownload, tr("Download plugins"));
411 } else {
412 task = null;
413 }
414
415 // this is the task which will run *after* the plugins are downloaded
416 final Runnable continuation = new PluginDownloadAfterTask(preference, task, toDownload);
417
418 if (task != null) {
419 // if we have to launch a plugin download task we do it asynchronously, followed
420 // by the remaining "save preferences" activites run on the Swing EDT.
421 MainApplication.worker.submit(task);
422 MainApplication.worker.submit(() -> SwingUtilities.invokeLater(continuation));
423 } else {
424 // no need for asynchronous activities. Simply run the remaining "save preference"
425 // activities on this thread (we are already on the Swing EDT
426 continuation.run();
427 }
428 }
429 }
430
431 /**
432 * If the dialog is closed with Ok, the preferences will be stored to the preferences-
433 * file, otherwise no change of the file happens.
434 */
435 public PreferenceTabbedPane() {
436 super(JTabbedPane.LEFT, JTabbedPane.SCROLL_TAB_LAYOUT);
437 super.addMouseWheelListener(this);
438 super.getModel().addChangeListener(this);
439 ExpertToggleAction.addExpertModeChangeListener(this);
440 }
441
442 public void buildGui() {
443 Collection<PreferenceSettingFactory> factories = new ArrayList<>(SETTINGS_FACTORIES);
444 factories.addAll(PluginHandler.getPreferenceSetting());
445 factories.add(ADVANCED_PREFERENCE_FACTORY);
446
447 for (PreferenceSettingFactory factory : factories) {
448 if (factory != null) {
449 PreferenceSetting setting = factory.createPreferenceSetting();
450 if (setting != null) {
451 settings.add(setting);
452 }
453 }
454 }
455 addGUITabs(false);
456 }
457
458 private void addGUITabsForSetting(Icon icon, TabPreferenceSetting tps) {
459 for (PreferenceTab tab : tabs) {
460 if (tab.getTabPreferenceSetting().equals(tps)) {
461 insertGUITabsForSetting(icon, tps, getTabCount());
462 }
463 }
464 }
465
466 private int insertGUITabsForSetting(Icon icon, TabPreferenceSetting tps, int index) {
467 int position = index;
468 for (PreferenceTab tab : tabs) {
469 if (tab.getTabPreferenceSetting().equals(tps)) {
470 insertTab(null, icon, tab.getComponent(), tps.getTooltip(), position++);
471 }
472 }
473 return position - 1;
474 }
475
476 private void addGUITabs(boolean clear) {
477 boolean expert = ExpertToggleAction.isExpert();
478 Component sel = getSelectedComponent();
479 if (clear) {
480 removeAll();
481 }
482 // Inspect each tab setting
483 for (PreferenceSetting setting : settings) {
484 if (setting instanceof TabPreferenceSetting) {
485 TabPreferenceSetting tps = (TabPreferenceSetting) setting;
486 if (expert || !tps.isExpert()) {
487 // Get icon
488 String iconName = tps.getIconName();
489 ImageIcon icon = null;
490
491 if (iconName != null && !iconName.isEmpty()) {
492 icon = ImageProvider.get("preferences", iconName, ImageProvider.ImageSizes.SETTINGS_TAB);
493 }
494 if (settingsInitialized.contains(tps)) {
495 // If it has been initialized, add corresponding tab(s)
496 addGUITabsForSetting(icon, tps);
497 } else {
498 // If it has not been initialized, create an empty tab with only icon and tooltip
499 addTab(null, icon, new PreferencePanel(tps), tps.getTooltip());
500 }
501 }
502 } else if (!(setting instanceof SubPreferenceSetting)) {
503 Logging.warn("Ignoring preferences "+setting);
504 }
505 }
506 try {
507 if (sel != null) {
508 setSelectedComponent(sel);
509 }
510 } catch (IllegalArgumentException e) {
511 Logging.warn(e);
512 }
513 }
514
515 @Override
516 public void expertChanged(boolean isExpert) {
517 addGUITabs(true);
518 }
519
520 public List<PreferenceSetting> getSettings() {
521 return settings;
522 }
523
524 @SuppressWarnings("unchecked")
525 public <T> T getSetting(Class<? extends T> clazz) {
526 for (PreferenceSetting setting:settings) {
527 if (clazz.isAssignableFrom(setting.getClass()))
528 return (T) setting;
529 }
530 return null;
531 }
532
533 static {
534 // order is important!
535 SETTINGS_FACTORIES.add(new DisplayPreference.Factory());
536 SETTINGS_FACTORIES.add(new DrawingPreference.Factory());
537 SETTINGS_FACTORIES.add(new ColorPreference.Factory());
538 SETTINGS_FACTORIES.add(new LafPreference.Factory());
539 SETTINGS_FACTORIES.add(new LanguagePreference.Factory());
540 SETTINGS_FACTORIES.add(new ServerAccessPreference.Factory());
541 SETTINGS_FACTORIES.add(new AuthenticationPreference.Factory());
542 SETTINGS_FACTORIES.add(new ProxyPreference.Factory());
543 SETTINGS_FACTORIES.add(new OverpassServerPreference.Factory());
544 SETTINGS_FACTORIES.add(new MapPreference.Factory());
545 SETTINGS_FACTORIES.add(new ProjectionPreference.Factory());
546 SETTINGS_FACTORIES.add(new MapPaintPreference.Factory());
547 SETTINGS_FACTORIES.add(new TaggingPresetPreference.Factory());
548 SETTINGS_FACTORIES.add(new BackupPreference.Factory());
549 SETTINGS_FACTORIES.add(new PluginPreference.Factory());
550 SETTINGS_FACTORIES.add(MainApplication.getToolbar());
551 SETTINGS_FACTORIES.add(new AudioPreference.Factory());
552 SETTINGS_FACTORIES.add(new ShortcutPreference.Factory());
553 SETTINGS_FACTORIES.add(new ValidatorPreference.Factory());
554 SETTINGS_FACTORIES.add(new ValidatorTestsPreference.Factory());
555 SETTINGS_FACTORIES.add(new ValidatorTagCheckerRulesPreference.Factory());
556 SETTINGS_FACTORIES.add(new RemoteControlPreference.Factory());
557 SETTINGS_FACTORIES.add(new ImageryPreference.Factory());
558 }
559
560 /**
561 * This mouse wheel listener reacts when a scroll is carried out over the
562 * tab strip and scrolls one tab/down or up, selecting it immediately.
563 */
564 @Override
565 public void mouseWheelMoved(MouseWheelEvent wev) {
566 // Ensure the cursor is over the tab strip
567 if (super.indexAtLocation(wev.getPoint().x, wev.getPoint().y) < 0)
568 return;
569
570 // Get currently selected tab
571 int newTab = super.getSelectedIndex() + wev.getWheelRotation();
572
573 // Ensure the new tab index is sound
574 newTab = newTab < 0 ? 0 : newTab;
575 newTab = newTab >= super.getTabCount() ? super.getTabCount() - 1 : newTab;
576
577 // select new tab
578 super.setSelectedIndex(newTab);
579 }
580
581 @Override
582 public void stateChanged(ChangeEvent e) {
583 int index = getSelectedIndex();
584 Component sel = getSelectedComponent();
585 if (index > -1 && sel instanceof PreferenceTab) {
586 PreferenceTab tab = (PreferenceTab) sel;
587 TabPreferenceSetting preferenceSettings = tab.getTabPreferenceSetting();
588 if (!settingsInitialized.contains(preferenceSettings)) {
589 try {
590 getModel().removeChangeListener(this);
591 preferenceSettings.addGui(this);
592 // Add GUI for sub preferences
593 for (PreferenceSetting setting : settings) {
594 if (setting instanceof SubPreferenceSetting) {
595 addSubPreferenceSetting(preferenceSettings, (SubPreferenceSetting) setting);
596 }
597 }
598 Icon icon = getIconAt(index);
599 remove(index);
600 if (index <= insertGUITabsForSetting(icon, preferenceSettings, index)) {
601 setSelectedIndex(index);
602 }
603 } catch (SecurityException ex) {
604 Logging.error(ex);
605 } catch (RuntimeException ex) { // NOPMD
606 // allow to change most settings even if e.g. a plugin fails
607 BugReportExceptionHandler.handleException(ex);
608 } finally {
609 settingsInitialized.add(preferenceSettings);
610 getModel().addChangeListener(this);
611 }
612 }
613 }
614 }
615
616 private void addSubPreferenceSetting(TabPreferenceSetting preferenceSettings, SubPreferenceSetting sps) {
617 if (sps.getTabPreferenceSetting(this) == preferenceSettings) {
618 try {
619 sps.addGui(this);
620 } catch (SecurityException ex) {
621 Logging.error(ex);
622 } catch (RuntimeException ex) { // NOPMD
623 BugReportExceptionHandler.handleException(ex);
624 } finally {
625 settingsInitialized.add(sps);
626 }
627 }
628 }
629}
Note: See TracBrowser for help on using the repository browser.