svoid playMP3ThroughWAV(File mp3File) { File wavFile = replaceExtension(mp3File, ".wav"); print("Playing MP3 through WAV: " + wavFile); mp3ToWAVUnlessExists(mp3File, wavFile); playWAV(wavFile); }