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 saveAudioInputStreamToWAV(AudioInputStream stream, File outputFile) ctex {
  try {
    int nWrittenBytes = AudioSystem.write(stream, AudioFileFormat.Type.WAVE, outputFile);
    print("Bytes written to WAV: " + nWrittenBytes);
  } finally {
    stream.close();
  }
}