--- old/src/share/vm/runtime/vframeArray.cpp	2014-04-29 16:56:49.000000000 -0400
+++ new/src/share/vm/runtime/vframeArray.cpp	2014-04-29 16:56:49.000000000 -0400
@@ -43,6 +43,7 @@
 #include "opto/runtime.hpp"
 #endif
 
+PRAGMA_FORMAT_MUTE_WARNINGS_FOR_GCC
 
 int vframeArrayElement:: bci(void) const { return (_bci == SynchronizationEntryBCI ? 0 : _bci); }