/src/jdk.scripting.nashorn.shell/share/man/ jdk-13+1
drwxr-xr-x [up]
-rw-r--r-- 2018-12-19 20:53 +0100 5921 jjs.1