make/jdk/src/classes/build/tools/jdwpgen/ConstantSetNode.java
changeset 58057 f894baf8d871
parent 57916 97257da4ac8d
child 58679 9c3209ff7550
--- a/make/jdk/src/classes/build/tools/jdwpgen/ConstantSetNode.java	Mon Sep 09 11:04:04 2019 -0700
+++ b/make/jdk/src/classes/build/tools/jdwpgen/ConstantSetNode.java	Mon Sep 09 12:00:36 2019 -0700
@@ -62,9 +62,7 @@
         writer.println("<th class=\"bold\" style=\"width: 65%\" scope=\"col\">Description");
         writer.println("</tr>");
         for (Node node : components) {
-            ConstantNode n = (ConstantNode)node;
-            writer.println("<span id=\"" + name + "_" + n.name + "\"></span>");
-            n.document(writer);
+            node.document(writer);
         }
         writer.println("</table>");
     }