--- a/hotspot/src/share/vm/gc_implementation/g1/concurrentMark.hpp	Thu May 29 14:31:28 2014 +0200
+++ b/hotspot/src/share/vm/gc_implementation/g1/concurrentMark.hpp	Wed Jun 04 14:16:20 2014 +0200
@@ -822,9 +822,7 @@
   // Called to abort the marking cycle after a Full GC takes place.
   void abort();
 
-  bool has_aborted()       { return _has_aborted; }
-  void set_has_aborted()   { _has_aborted = true; }
-  void clear_has_aborted() { _has_aborted = false; }
+  bool has_aborted()      { return _has_aborted; }
 
   // This prints the global/local fingers. It is used for debugging.
   NOT_PRODUCT(void print_finger();)