diff -r dd2b66d09ccd -r 4202510ee0fe src/share/vm/memory/universe.hpp
--- a/src/share/vm/memory/universe.hpp	Tue Oct 09 22:12:25 2012 +0200
+++ b/src/share/vm/memory/universe.hpp	Mon Oct 15 10:02:42 2012 -0700
@@ -403,8 +403,14 @@
 
   // Debugging
   static bool verify_in_progress() { return _verify_in_progress; }
-  static void verify(bool silent = false,
-                     VerifyOption option = VerifyOption_Default );
+  static void verify(bool silent, VerifyOption option);
+  static void verify(bool silent) {
+    verify(silent, VerifyOption_Default /* option */);
+  }
+  static void verify() {
+    verify(false /* silent */);
+  }
+
   static int  verify_count()       { return _verify_count; }
   // The default behavior is to call print_on() on gclog_or_tty.
   static void print();