/ default tip
drwxr-xr-x [up]
drwxr-xr-x .settings
drwxr-xr-x lib
drwxr-xr-x src
drwxr-xr-x src-test
-rw-r--r-- 2017-03-26 14:21 +0200 1498 .classpath
-rw-r--r-- 2017-03-26 14:21 +0200 92 .hgignore
-rw-r--r-- 2017-03-26 14:21 +0200 1678 .hgtags
-rw-r--r-- 2017-03-26 14:21 +0200 384 .project
-rw-r--r-- 2017-03-26 14:21 +0200 2124 build-test.xml
-rw-r--r-- 2017-03-26 14:21 +0200 3816 build.xml
-rw-r--r-- 2017-03-26 14:21 +0200 61 checkAPI.properties.template
-rw-r--r-- 2017-03-26 14:21 +0200 25 dbsm.properties.template