--- old/make/jdk/src/classes/build/tools/dtdbuilder/DTDBuilder.java	2020-03-20 12:37:52.318069176 +0100
+++ new/make/jdk/src/classes/build/tools/dtdbuilder/DTDBuilder.java	2020-03-20 12:37:51.982069178 +0100
@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 1998, 2013, Oracle and/or its affiliates. All rights reserved.
+ * Copyright (c) 1998, 2020, Oracle and/or its affiliates. All rights reserved.
  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
  *
  * This code is free software; you can redistribute it and/or modify it
@@ -139,7 +139,7 @@
         }
         int i = namesVector.size();
         namesVector.addElement(name);
-        namesHash.put(name, new Integer(i));
+        namesHash.put(name, i);
         return (short) i;
     }