/**
  * ************************************************************************ Change the database
  * driver for loading databases
  *
  * @param project
  * @param newDBPath ***********************************************************************
  */
 public void setDatabaseDriver(String driver) {
   try {
     m_project.setPersistentProperty(ProjectDatabaseProperty.GCS_DRIVER.getKey(), driver);
   } catch (CoreException e) {
     System.err.println("Cannot set property " + ProjectDatabaseProperty.GCS_DRIVER.getKey());
   }
 }
  /**
   * ************************************************************************ Get the database
   * driver attached to a project
   *
   * @param project
   * @return ***********************************************************************
   */
  @SuppressWarnings("unchecked")
  public String getDatabaseDriverName() {
    HashMap<QualifiedName, Object> properties = null;
    try {
      properties = new HashMap<QualifiedName, Object>(m_project.getPersistentProperties());
    } catch (CoreException e1) {
      System.err.println(
          "Cannot retrieve persistent properties for project " + m_project.getName());
      return null;
    }
    if (!properties.containsKey(ProjectDatabaseProperty.GCS_DRIVER.getKey())) {
      restoreProjectProperties(ProjectDatabaseProperty.GCS_DRIVER);
    }

    try {
      return m_project.getPersistentProperty(ProjectDatabaseProperty.GCS_DRIVER.getKey());
    } catch (CoreException e) {
      return null;
    }
  }