--- old/src/share/vm/gc/shared/taskqueue.cpp	2015-10-08 22:15:45.462356678 +0200
+++ new/src/share/vm/gc/shared/taskqueue.cpp	2015-10-08 22:15:45.414357825 +0200
@@ -107,6 +107,7 @@
          err_msg("overflow_max_len=" SIZE_FORMAT " overflow=" SIZE_FORMAT,
                  get(overflow_max_len), get(overflow)));
 }
+
 #endif // ASSERT
 #endif // TASKQUEUE_STATS