With the Arduino put into programming mode, he simply plays the WAV file with an audio player ... because they can easily update the software on their own without a lot of fuss.

The Java program can also read an Arduino program file and convert all the print calls in it to use the library, if you like. As you might expect, this requires some cooperation from your program.