void () { if (myPanels != null) { try { super.disposeUIResources(); for (Configurable panel : myPanels) { panel.disposeUIResources(); } } finally { myPanels = null; myResetCompleted = false; myRevertCompleted = false; myInitResetInvoked = false; } } }