| This exception is to be thrown when an OpenDefinitionsDocument
was asked for its DefinitionsDocument and when the OpenDefinitionsDocument
itself is not registered in the Document Cache. This could happen either if the
OpenDefinitionsDocument was not correctly initialized (unlikely) or if
the document was asked for after the OpenDefinitionsDocument was
explicitly closed by calling doc.close() . For example, this
exception is caught when changing the active definitions pane after the active pane
had been closed (MainFrame.java).
|