/**
  * Applies changes (if any)
  *
  * @see org.eclipse.jface.preference.PreferencePage#performApply()
  */
 protected void performApply() {
   this.inApply = true;
   try {
     super.performApply(); // calls performOk()
   } finally {
     this.inApply = false;
   }
 }
 @Override
 protected void performApply() {
   super.performApply();
   PROSActions actions;
   try {
     actions = Activator.getPROSActions();
     IPreferenceStore store = Activator.getDefault().getPreferenceStore();
     try {
       actions.setLocalKernelRepository(
           Paths.get(store.getString(PreferenceConstants.P_LOCAL_REPOSITORY)));
     } catch (IOException e) {
       showErrorDialog(
           "Error saving settings",
           "There was an error saving the settings. Try again later.",
           IStatus.ERROR,
           e);
     }
     try {
       actions.setUpdateSite(new URL(store.getString(PreferenceConstants.P_UPDATE_SITE)));
     } catch (MalformedURLException e) {
       showErrorDialog("Bad URL input", "The provided URL is invalid.", IStatus.ERROR, e);
     } catch (IOException e) {
       showErrorDialog(
           "Error saving settings",
           "There was an error saving the settings. Try again later.",
           IStatus.ERROR,
           e);
     }
     kernelListEditor.doLoad();
   } catch (IOException e) {
     showErrorDialog(
         "PROS Error",
         "There was an error creating the PROS Updater interface.",
         IStatus.ERROR,
         e);
   }
 }