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

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