lib 1001094 // JavaLayer 1.0.1
lib 1003620 // mp3spi1.9.4.jar
lib 1003621 // tritonus_share.jar

svoid wavToMP3(File inputFile, File outputFile) ctex {
  fixContextClassLoader(); // activate mp3spi etc
  audioCopyToMP3(inputFile, outputFile,
    AudioSystem.getAudioFileFormat(inputFile).getFormat());
}

static File wavToMP3(File inputFile) {
  File out = replaceExtension(inputFile, "wav", "mp3");
  wavToMP3(inputFile, out);
  ret out;
}