docs: private void batchFileButtonActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_batchFileButtonActionPerformed
          // Load a batch file
          JFileChooser fileChooser = new JFileChooser();
          if (fileChooser.showOpenDialog(this) == JFileChooser.APPROVE_OPTION) {
              File file = fileChooser.getSelectedFile();
              try (BufferedReader in = new BufferedReader(
                      new InputStreamReader(
                          new FileInputStream(file), "UTF8"))) {
                  String str;
  
                  sequenceArea.setText("");
  
                  while ((str = in.readLine()) != null) {
                      sequenceArea.setText(sequenceArea.getText() + str + '\n');
                  }
              } catch (UnsupportedEncodingException e) {
                  System.out.println("Encoding exception");
              } catch (IOException e) {
                  System.out.println("Cannot read from file" + fileChooser.getSelectedFile().toString());
              } catch (Exception e) {
                  System.out.println("Exception");
              }
  
          }
      }