jdk/src/jdk.internal.ed/share/classes/module-info.java
changeset 43710 8fa2058eb740
parent 41884 b7c2cc7a10fa
child 45654 5ff2edfa03fc
--- a/jdk/src/jdk.internal.ed/share/classes/module-info.java	Fri Feb 10 10:07:42 2017 +0800
+++ b/jdk/src/jdk.internal.ed/share/classes/module-info.java	Thu Feb 09 18:33:28 2017 -0800
@@ -26,6 +26,8 @@
 /**
  * Internal editor support for JDK tools.  Includes the Service Provider
  * Interface to built-in editors.
+ *
+ * @since 9
  */
 module jdk.internal.ed {