--- old/src/share/vm/utilities/ostream.hpp 2014-04-29 16:57:33.000000000 -0400 +++ new/src/share/vm/utilities/ostream.hpp 2014-04-29 16:57:32.000000000 -0400 @@ -80,8 +80,8 @@ void set_position(int pos) { _position = pos; } // printing - void print(const char* format, ...); - void print_cr(const char* format, ...); + void print(const char* format, ...) ATTRIBUTE_PRINTF(2, 3); + void print_cr(const char* format, ...) ATTRIBUTE_PRINTF(2, 3); void vprint(const char *format, va_list argptr); void vprint_cr(const char* format, va_list argptr); void print_raw(const char* str) { write(str, strlen(str)); }