# HG changeset patch
# User chegar
# Date 1453799892 0
# Node ID a9a4ecbb7e5411e8d0237290dcce5c2322006978
# Parent  4a652e4ca9523422149958673033e0ac740d5e1e
8148154: Integrate JOpt Simple for internal usage by JDK tools
Reviewed-by: alanb, redestad, rriggs

diff -r 4a652e4ca952 -r a9a4ecbb7e54 modules.xml
--- a/modules.xml	Wed Jul 05 21:15:54 2017 +0200
+++ b/modules.xml	Tue Jan 26 09:18:12 2016 +0000
@@ -1744,6 +1744,10 @@
     </export>
   </module>
   <module>
+    <name>jdk.internal.opt</name>
+    <depend>java.base</depend>
+  </module>
+  <module>
     <name>jdk.jartool</name>
     <depend>java.base</depend>
     <export>