import javax.sound.sampled.AudioFileFormat;
import javax.sound.sampled.AudioFormat;
import javax.sound.sampled.AudioInputStream;
import javax.sound.sampled.AudioSystem;
import javax.sound.sampled.UnsupportedAudioFileException;
import javazoom.spi.mpeg.sampled.file.MpegFileFormatType;

static void audioCopyToMP3(File inputFile, File outputFile, AudioFormat outputFormat) ctex {
  AudioInputStream sourceStream = AudioSystem.getAudioInputStream(inputFile);
  AudioInputStream stream = AudioSystem.getAudioInputStream(outputFormat, sourceStream);
  int nWrittenBytes = AudioSystem.write(stream, MpegFileFormatType.MP3, outputFile);
  sourceStream.close();
  stream.close();
}

Began life as a copy of #1006990