jcmd VM.system_properties gives unusable paths on Windows

Example:
...
java.vendor.url.bug=https\://bugreport.java.com/bugreport/
java.io.tmpdir=C\:\\Users\\mgronlun\\AppData\\Local\\Temp\\
java.version=13-internal
user.dir=D\:\\temp\\SPECjbb2005\\SPECjbb2005
...

I can't copy and use any of these as is into the Windows Explorer or the browser...

Double-slash qualifications should probably be stripped before rendering.

D\:

needs to be

D:\