bluej.extensions.editor is used in

|
Editor
EditorBridge
|
TextLocation