jdk/src/share/classes/javax/sound/midi/MidiSystem.java
changeset 21278 ef8a3a2a72f2
parent 19207 3448b0cb4077
child 22584 eed64ee05369
--- 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