--- a/jdk/src/share/classes/sun/tools/java/Identifier.java	Tue Jul 15 10:21:07 2014 -0700
+++ b/jdk/src/share/classes/sun/tools/java/Identifier.java	Tue Jul 15 11:22:14 2014 -0700
@@ -106,7 +106,7 @@
      * Set the type of the identifier.
      */
     void setType(int t) {
-        value = new Integer(t);
+        value = t;
         //System.out.println("type(" + this + ")=" + t);
     }