directory /src/tests/gov/nasa/jpf/util/event/ @ 0:61d41facf527

name size permissions
[up] drwxr-xr-x
file EventTreeTest.java 9486 -rw-r--r--