jdk/src/jdk.naming.rmi/share/classes/module-info.java
changeset 45528 1e8c2f062ad3
parent 44417 a431edba1629
child 45654 5ff2edfa03fc
--- a/jdk/src/jdk.naming.rmi/share/classes/module-info.java	Wed Jun 07 18:54:45 2017 -0700
+++ b/jdk/src/jdk.naming.rmi/share/classes/module-info.java	Wed Jun 07 21:15:06 2017 -0700
@@ -24,8 +24,9 @@
  */
 
 /**
- * RMI Java Naming provider.
+ * Provides the implementation of the RMI Java Naming provider.
  *
+ * @provides javax.naming.spi.InitialContextFactory
  * @moduleGraph
  * @since 9
  */
@@ -39,4 +40,3 @@
     exports com.sun.jndi.url.rmi to java.naming;
     exports com.sun.jndi.rmi.registry to java.rmi;
 }
-