/src/jdk.jcmd/share/man/ default tip
drwxr-xr-x [up]
-rw-r--r-- 2019-11-30 14:33 -0800 24418 jcmd.1
-rw-r--r-- 2019-11-30 14:33 -0800 3927 jinfo.1
-rw-r--r-- 2019-11-30 14:33 -0800 3916 jmap.1
-rw-r--r-- 2019-11-30 14:33 -0800 8939 jps.1
-rw-r--r-- 2019-11-30 14:33 -0800 3476 jstack.1
-rw-r--r-- 2019-11-30 14:33 -0800 24545 jstat.1