--- openjdk/jdk/src/share/lib/sound.properties	2008-08-28 04:15:18.000000000 -0400

+++ openjdk/jdk/src/share/lib/sound.properties	2008-10-03 16:59:21.000000000 -0400

@@ -37,3 +37,13 @@

 # Specify the default Receiver by provider and name:

 # javax.sound.midi.Receiver=com.sun.media.sound.MidiProvider#SunMIDI1

 #

+

+# javax.sound.sampled.Clip=org.classpath.icedtea.pulseaudio.PulseAudioMixerProvider

+# javax.sound.sampled.Port=org.classpath.icedtea.pulseaudio.PulseAudioMixerProvider

+# javax.sound.sampled.SourceDataLine=org.classpath.icedtea.pulseaudio.PulseAudioMixerProvider

+# javax.sound.sampled.TargetDataLine=org.classpath.icedtea.pulseaudio.PulseAudioMixerProvider

+

+javax.sound.sampled.Clip=com.sun.media.sound.DirectAudioDeviceProvider

+javax.sound.sampled.Port=com.sun.media.sound.PortMixerProvider

+javax.sound.sampled.SourceDataLine=com.sun.media.sound.DirectAudioDeviceProvider

+javax.sound.sampled.TargetDataLine=com.sun.media.sound.DirectAudioDeviceProvider