diff -r 607a56c8880f -r 30d1c247fc25 hotspot/src/share/vm/memory/genCollectedHeap.hpp --- a/hotspot/src/share/vm/memory/genCollectedHeap.hpp Fri Jul 10 16:01:20 2009 -0700 +++ b/hotspot/src/share/vm/memory/genCollectedHeap.hpp Tue Jul 14 15:40:39 2009 -0700 @@ -325,7 +325,7 @@ void prepare_for_verify(); // Override. - void verify(bool allow_dirty, bool silent); + void verify(bool allow_dirty, bool silent, bool /* option */); // Override. void print() const;