294295296297298299300301302303304
log.info("Deleting non-existent " + lostdoc.getTitle() + " from the documentlist"); documentList.remove(lostdoc); } */ model = new DocumentListModel(documentList); docList.setModel(model); if (model.size()>0) docList.setSelectedIndex(0); }