--- old/src/share/vm/gc_implementation/g1/g1GCPhaseTimes.cpp	Thu Sep 19 17:39:50 2013
+++ new/src/share/vm/gc_implementation/g1/g1GCPhaseTimes.cpp	Thu Sep 19 17:39:46 2013
@@ -233,7 +233,7 @@
   LineBuffer(level).append_and_print_cr("[%s: %.1lf ms]", str, value);
 }
 
-void G1GCPhaseTimes::print_stats(int level, const char* str, double value, int workers) {
+void G1GCPhaseTimes::print_stats(int level, const char* str, double value, uint workers) {
   LineBuffer(level).append_and_print_cr("[%s: %.1lf ms, GC Workers: %d]", str, value, workers);
 }