/** Invoked when the raw database construction is succeeded. */
  protected void operationSucceeded() {
    String message = "Succeeded to create reference database.";
    JOptionPane.showMessageDialog(pane, message);

    desktop.setReferenceDBManager(db_manager);
  }
 /**
  * Shows the dialog to set parameters.
  *
  * @return 0 if <tt>OK</tt> button is pushed, or 2 if <tt>Cancel</tt> button is pushed.
  */
 public int showSettingDialog() {
   return desktop.getSettingDialog().show(pane);
 }
 /**
  * Returns the limiting magnitude of the catalog database.
  *
  * @return the limiting magnitude of the catalog database.
  */
 public double getLimitingMagnitude() {
   return desktop.getSettingDialog().getFainterLimitingMagnitude();
 }
 /**
  * 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());
 }