Files
| drwxr-xr-x | 0 | root | root | /usr/share/bluej |
| drwxr-xr-x | 0 | root | root | /usr/share/bluej/extensions |
| drwxr-xr-x | 0 | root | root | /usr/share/doc/bluej-extensions |
| -rw-r--r-- | 4014 | root | root | /usr/share/doc/bluej-extensions/extension_list.txt |
| -rw-r--r-- | 1368 | root | root | /usr/share/doc/bluej-extensions/update_extensions.sh |
