directory /src/os/linux/ @ 500:ad8c8ca4ab0f jdk7-b42

name size permissions
[up] drwxr-xr-x
dir. launcher/ drwxr-xr-x
dir. vm/ drwxr-xr-x