private void saveButton_settingsButtonActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_saveButton_settingsButtonActionPerformed
        try {
            if (debug)
                logger.log(Level.DEBUG, "Saving preferences...");
            settings.setDeviceRefreshInterval(Integer.valueOf(refreshInterval_settingsTextField.getText()) * 1000);
            settings.saveSettings();
        } catch (IOException ex) {
            logger.log(Level.ERROR, "An error occurred while attempting to save the settings: " + ex.toString() + "\n"
                    + "The error stack trace will be printed to the console...");
            ex.printStackTrace(System.err);
        }
    }//GEN-LAST:event_saveButton_settingsButtonActionPerformed