modules.xml
changeset 32171 20aeca84739b
parent 31845 efa29955bdd0
child 32173 5a6a6df6a203
--- a/modules.xml	Fri Jul 31 10:15:01 2015 -0700
+++ b/modules.xml	Mon Aug 10 13:08:53 2015 +0200
@@ -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>