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;

static void audioCopyToWAV(File inputFile, File outputFile, AudioFormat outputFormat) ctex {
  AudioInputStream sourceStream = AudioSystem.getAudioInputStream(inputFile);
  AudioInputStream stream = AudioSystem.getAudioInputStream(outputFormat, sourceStream);
  int nWrittenBytes = AudioSystem.write(stream, AudioFileFormat.Type.WAVE, outputFile);
  sourceStream.close();
  stream.close();
}