private void refreshDevices_settingsButtonActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_refreshDevices_settingsButtonActionPerformed
        if (debug)
            logger.log(Level.DEBUG, "Setting preference \"refreshDevices\" from " + settings.refreshDevices() + " to " + refreshDevices_settingsButton.isSelected() + "\n"
                    + "Old refresh interval: " + settings.getDeviceRefreshInterval() + ", new refresh interval: " + Integer.valueOf(refreshInterval_settingsTextField.getText()) * 1000);
        settings.setRefreshDevices(refreshDevices_settingsButton.isSelected());
        settings.setDeviceRefreshInterval(Integer.valueOf(refreshInterval_settingsTextField.getText()) * 1000);
    }//GEN-LAST:event_refreshDevices_settingsButtonActionPerformed