--- a/jdk/src/share/classes/javax/sound/midi/MidiSystem.java Tue Oct 29 16:35:20 2013 +0400
+++ b/jdk/src/share/classes/javax/sound/midi/MidiSystem.java Tue Oct 29 17:01:06 2013 +0400
@@ -120,7 +120,7 @@
* is optional.
*
* <p>If the provider class is specified, and it can be
- * successully retrieved from the installed providers,
+ * successfully retrieved from the installed providers,
* the list of
* <code>MidiDevice.Info</code> objects is retrieved
* from the provider. Otherwise, or when these devices