/** Remove a view list listener from this application. */
public void removeViewListener(ListDataListener listener) {
_views.removeListDataListener(listener);
}
/** Remove a document list listener from this application. */
public void removeDocumentListener(ListDataListener listener) {
_documents.removeListDataListener(listener);
}