ExtensionsManager

is imported to:

.   bluej.extensions as extmgr.*
.   bluej
.   bluej.collect
.   bluej.debugmgr.objectbench
.   bluej.pkgmgr
.   bluej.pkgmgr.actions
.   bluej.pkgmgr.dependency
.   bluej.pkgmgr.target
.   bluej.prefmgr