private void autoUpdate_settingsButtonActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_autoUpdate_settingsButtonActionPerformed
        if (debug)        
            logger.log(Level.DEBUG, "Setting preference \"autoUpdate\" from " + settings.autoUpdate() + " to " + autoUpdate_settingsButton.isSelected());
        settings.setAutoUpdate(autoUpdate_settingsButton.isSelected());
    }//GEN-LAST:event_autoUpdate_settingsButtonActionPerformed