--- a/hotspot/src/share/vm/runtime/vmThread.cpp	Wed Apr 24 14:48:43 2013 -0700
+++ b/hotspot/src/share/vm/runtime/vmThread.cpp	Wed Apr 24 20:13:37 2013 +0200
@@ -293,7 +293,7 @@
     os::check_heap();
     // Silent verification so as not to pollute normal output,
     // unless we really asked for it.
-    Universe::verify(!(PrintGCDetails || Verbose));
+    Universe::verify(!(PrintGCDetails || Verbose) || VerifySilently);
   }
 
   CompileBroker::set_should_block();