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