--- old/src/share/vm/runtime/arguments.cpp	2009-06-08 17:31:56.723447846 +0100
+++ new/src/share/vm/runtime/arguments.cpp	2009-06-08 17:31:56.619993249 +0100
@@ -1370,7 +1370,7 @@
 
     // Feed the cache size setting into the JDK
     char buffer[1024];
-    sprintf(buffer, "java.lang.Integer.IntegerCache.high=%d", AutoBoxCacheMax);
+    sprintf(buffer, "java.lang.Integer.IntegerCache.high=" INTX_FORMAT, AutoBoxCacheMax);
     add_property(buffer);
   }
   if (AggressiveOpts && FLAG_IS_DEFAULT(DoEscapeAnalysis)) {