--- a/hotspot/src/share/vm/runtime/globals_extension.hpp	Wed Dec 18 23:09:57 2013 +0400
+++ b/hotspot/src/share/vm/runtime/globals_extension.hpp	Mon Dec 23 20:56:18 2013 +0400
@@ -201,6 +201,7 @@
   static void uintxAtPut(CommandLineFlagWithType flag, uintx value, Flag::Flags origin);
   static void uint64_tAtPut(CommandLineFlagWithType flag, uint64_t value, Flag::Flags origin);
   static void doubleAtPut(CommandLineFlagWithType flag, double value, Flag::Flags origin);
+  // Contract:  Flag will make private copy of the incoming value
   static void ccstrAtPut(CommandLineFlagWithType flag, ccstr value, Flag::Flags origin);
 
   static bool is_default(CommandLineFlag flag);