modules.xml
changeset 32173 5a6a6df6a203
parent 32067 ab09cdb2ccb8
parent 32171 20aeca84739b
child 32174 a52b80d52f19
--- a/modules.xml	Wed Jul 05 20:45:52 2017 +0200
+++ b/modules.xml	Thu Aug 13 15:50:47 2015 -0700
@@ -1623,10 +1623,6 @@
     <depend>jdk.jdi</depend>
   </module>
   <module>
-    <name>jdk.hprof.agent</name>
-    <depend>java.base</depend>
-  </module>
-  <module>
     <name>jdk.httpserver</name>
     <depend>java.base</depend>
     <depend>java.logging</depend>