/** 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);
 }