1273 

  1273 

  1274     // Feed the cache size setting into the JDK

  1274     // Feed the cache size setting into the JDK

  1275     char buffer[1024];

  1275     char buffer[1024];

  1276     sprintf(buffer, "java.lang.Integer.IntegerCache.high=%d", AutoBoxCacheMax);

  1276     sprintf(buffer, "java.lang.Integer.IntegerCache.high=%d", AutoBoxCacheMax);

  1277     add_property(buffer);

  1277     add_property(buffer);

  1278   }

  1281   }

  1279 #endif

  1282 #endif

  1280 

  1283 

  1281   if (AggressiveOpts) {

  1284   if (AggressiveOpts) {

  1282 // Sample flag setting code

  1285 // Sample flag setting code