directory /.mx.jvmci/ @ 10507:7232de4c17c3 jdk-9+106

name size permissions
[up] drwxr-xr-x
dir. eclipse-settings/ drwxr-xr-x
dir. hotspot/ templates/eclipse drwxr-xr-x
file .project 386 -rw-r--r--
file .pydevproject 519 -rw-r--r--
file mx_jvmci.py 37568 -rw-r--r--
file suite.py 8345 -rw-r--r--