/tools/java/ default tip
drwxr-xr-x [up]
drwxr-xr-x .settings
drwxr-xr-x extensions org/eclipse/jdt/internal/compiler/ast
drwxr-xr-x libs
drwxr-xr-x libs-src
drwxr-xr-x src
drwxr-xr-x src-tests stx/libjava/tools
-rw-r--r-- 2022-08-09 14:33 +0100 1440 .classpath
-rw-r--r-- 2022-08-09 14:33 +0100 704 .project
-rw-r--r-- 2022-08-09 14:33 +0100 855 build.auto.xml
-rw-r--r-- 2022-08-09 14:33 +0100 0 build.properties
-rw-r--r-- 2022-08-09 14:33 +0100 731 build.xml
-rw-r--r-- 2022-08-09 14:33 +0100 799 ivy.xml