/samples/extensionpoint/src-api/org/apidesign/extensionpoint/ default tip
drwxr-xr-x [up]
drwxr-xr-x api
-rw-r--r-- 2020-04-03 16:32 +0200 1504 Main.java