/src/jdk.jshell/share/classes/ JDK-8200758-branch
drwxr-xr-x [up]
drwxr-xr-x jdk
-rw-r--r-- 2018-08-23 11:09 -0400 3771 module-info.java