!include once #1017982 // JAVE/ffmpeg

static void mp3ToWAV_jave(File mp3, File wav) ctex {
  new AudioAttributes audio;
  new EncodingAttributes attrs;
  attrs.setFormat("wav");
  attrs.setAudioAttributes(audio);
  print("Converting " + f2s(mp3) + " to " + f2s(wav));
  new Encoder().encode(mp3, wav, attrs);
  print("  [done]");
}