static File mp3ToWAVUnlessExists(File in, File out) {
  if (!out.exists()) try {
    mp3ToWAV(in, out);
  } catch print {
    mp3ToWAV_jave(in, out);
  }
  ret out;
}