/samples/instanceof/src/api/ default tip
drwxr-xr-x [up]
-rw-r--r-- 2020-04-03 16:32 +0200 215 BetterInstanceProvider.java
-rw-r--r-- 2020-04-03 16:32 +0200 234 InstanceProvider.java