--- a/OSProcess.st	Tue Aug 14 10:55:35 2018 +0200
+++ b/OSProcess.st	Wed Aug 15 14:47:26 2018 +0200
@@ -658,7 +658,7 @@
                 shuffledStream close.
             ]
         ] newProcess
-            name:'OSProcess input shuffler';
+            name:'OSProcess: input shuffler';
 "/                beSystemProcess;
             resume.
 
@@ -669,6 +669,7 @@
 
     "Modified: / 31-01-2017 / 16:50:39 / stefan"
     "Modified (comment): / 23-02-2017 / 10:51:34 / Maren"
+    "Modified: / 15-08-2018 / 14:47:13 / Claus Gittinger"
 !
 
 setupShufflerForOutput:aStream
@@ -711,7 +712,7 @@
             ].
         ] newProcess
             priority:(Processor userSchedulingPriority "+ 1");
-            name:'OSProcess output shuffler';
+            name:'OSProcess: output shuffler';
 "/                beSystemProcess;
             resume.
 
@@ -721,6 +722,7 @@
     ^ externalStream
 
     "Modified: / 31-01-2017 / 16:57:25 / stefan"
+    "Modified: / 15-08-2018 / 14:47:05 / Claus Gittinger"
 !
 
 startCommand