/java/extensions/java/util/
drwxr-xr-x [up]
-rw-r--r-- 2020-02-24 04:28 +0000 349 AbstractList.st
-rw-r--r-- 2020-02-24 04:28 +0000 5205 Collection.st
-rw-r--r-- 2020-02-24 04:28 +0000 1647 List.st
-rw-r--r-- 2020-02-24 04:28 +0000 1652 Map.st