diff -r d9eed26d638a -r e0c9a1d29eb4 src/share/vm/oops/klass.hpp
--- a/src/share/vm/oops/klass.hpp	Sun Jun 23 22:08:28 2013 -0700
+++ b/src/share/vm/oops/klass.hpp	Mon Jun 24 18:55:46 2013 -0400
@@ -703,8 +703,8 @@
   virtual const char* internal_name() const = 0;
 
   // Verification
-  virtual void verify_on(outputStream* st);
-  void verify() { verify_on(tty); }
+  virtual void verify_on(outputStream* st, bool check_dictionary);
+  void verify(bool check_dictionary = true) { verify_on(tty, check_dictionary); }
 
 #ifndef PRODUCT
   void verify_vtable_index(int index);