code: public void actionPerformed(ActionEvent e) {
          if (foxml11Button.isSelected()) {
              fmt_chosen = FOXML1_1.uri;
          } else if (foxml10Button.isSelected()) {
              fmt_chosen = FOXML1_0.uri;
          } else if (mets11Button.isSelected()) {
              fmt_chosen = METS_EXT1_1.uri;
          } else if (mets10Button.isSelected()) {
              fmt_chosen = METS_EXT1_0.uri;
          } else if (atomButton.isSelected()) {
              fmt_chosen = ATOM1_1.uri;
          } else if (atomZipButton.isSelected()) {
              fmt_chosen = ATOM_ZIP1_1.uri;
          }
      }
docs: Listens to the radio buttons.