--- old/src/hotspot/share/gc/shared/workerDataArray.hpp	2020-06-25 15:09:51.520328043 +0200
+++ new/src/hotspot/share/gc/shared/workerDataArray.hpp	2020-06-25 15:09:51.428326700 +0200
@@ -38,14 +38,15 @@
 private:
   T*          _data;
   uint        _length;
-  const char* _title;
+  const char* _short_name; // Short name for JFR
+  const char* _title; // Title for logging.
 
   bool _is_serial;
 
   WorkerDataArray<size_t>* _thread_work_items[MaxThreadWorkItems];
 
  public:
-  WorkerDataArray(const char* title, uint length, bool is_serial = false);
+  WorkerDataArray(const char* short_name, const char* title, uint length, bool is_serial = false);
   ~WorkerDataArray();
 
   // Create an integer sub-item at the given index to this WorkerDataArray. If length_override
@@ -78,6 +79,10 @@
     return _title;
   }
 
+  const char* short_name() const {
+    return _short_name;
+  }
+
   void reset();
   void set_all(T value);