directory /src/jdk.management.agent/ @ 17467:f8e75da258cd tip

name size permissions
[up] drwxr-xr-x
dir. share/ drwxr-xr-x
dir. unix/ drwxr-xr-x
dir. windows/ drwxr-xr-x