is imported to:

. bluej.extensions as extmgr.*