File icedtea-sound-soundproperties.patch of Package java-10-openjdk.8084

--- jdk10/src/java.desktop/share/conf/sound.properties	2008-08-28 04:15:18.000000000 -0400
+++ jdk10/src/java.desktop/share/conf/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