/jdk/make/modules/
drwxr-xr-x [up]
drwxr-xr-x tools
-rw-r--r-- 2017-07-05 17:15 +0200 5358 Makefile
-rw-r--r-- 2017-07-05 17:15 +0200 6599 bootmodule.roots
-rw-r--r-- 2017-07-05 17:15 +0200 21061 jdk7.depconfig
-rw-r--r-- 2017-07-05 17:15 +0200 26287 modules.config
-rw-r--r-- 2017-07-05 17:15 +0200 1156 modules.group
-rw-r--r-- 2017-07-05 17:15 +0200 6118 optional.depconfig