*** old/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.hotspot/src/org/graalvm/compiler/hotspot/PrintStreamOptionKey.java	Fri Jul  7 09:30:17 2017
--- new/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.hotspot/src/org/graalvm/compiler/hotspot/PrintStreamOptionKey.java	Fri Jul  7 09:30:17 2017

*** 63,72 ****
--- 63,75 ----
                  name = name.replaceAll("%p", runtimeName);
              } catch (NumberFormatException e) {
  
              }
          }
+         if (name.contains("%t")) {
+             name = name.replaceAll("%t", String.valueOf(System.currentTimeMillis()));
+         }
          return name;
      }
  
      /**
       * An output stream that redirects to {@link HotSpotJVMCIRuntimeProvider#getLogStream()}. The