/**
  * Adds XML information documents. The XML file path must be recorded in the information
  * documents.
  *
  * @param infos the XML information documents.
  * @exception IOException if I/O error occurs.
  * @exception FileNotFoundException if a file does not exists.
  */
 public void addInformations(XmlInformation[] infos) throws IOException, FileNotFoundException {
   table.addInformations(infos, desktop.getFileManager());
 }