private void updateControlsFromPrefs() {
   customLibRadio.setSelection(preferences.getUseCustomLib());
   defaultLibRadio.setSelection(!customLibRadio.getSelection());
   customLibPathText.setText(preferences.getCustomLibPath());
   enableErrorsCheckbox.setSelection(preferences.getEnableErrorMarkers());
 }
 private void validatePrefs() {
   if (preferences.getUseCustomLib()) {
     String path = preferences.getCustomLibPath();
     validateFile(new File(path));
   }
 }