bluej.prefmgr is used in

|
MiscPrefPanel
|
PrefMgr
PrefMgrDialog
|
PrefPanelListener