--- a/hotspot/src/share/vm/runtime/vm_operations.hpp	Wed Apr 24 14:48:43 2013 -0700
+++ b/hotspot/src/share/vm/runtime/vm_operations.hpp	Wed Apr 24 20:13:37 2013 +0200
@@ -302,7 +302,7 @@
  private:
   bool _silent;
  public:
-  VM_Verify(bool silent) : _silent(silent) {}
+  VM_Verify(bool silent = VerifySilently) : _silent(silent) {}
   VMOp_Type type() const { return VMOp_Verify; }
   void doit();
 };