// TODO: sync
static File mp3ToTempWAV(File mp3) {
  File wav = javaxCachesDir("Temp WAVs/" + md5OfFile(mp3) + ".wav");
  if (!wav.exists())
    mp3ToWAV_jave(mp3, wav);
  ret wav;
}