Jon, yes, I have been imprecise. I don't know how ABCExplorer makes its sounds either, and at the moment I have no time/incentive to find out. The main point is that it does not use the Windows MIDI system, which seems to be leeneia's concern.

I think javax.sound.midi gives the programmer a choice between OS and Java-built-in MIDI.