Metacat

import java.util.TreeSet;

import java.util.Vector;

import javax.servlet.http.HttpServletRequest;

import javax.servlet.http.HttpServletResponse;

import javax.servlet.http.HttpSession;

import edu.ucsb.nceas.metacat.database.DBConnectionPool;

import edu.ucsb.nceas.metacat.database.DBVersion;

import edu.ucsb.nceas.metacat.properties.PropertyService;

import edu.ucsb.nceas.metacat.util.DatabaseUtil;

import edu.ucsb.nceas.metacat.util.RequestUtil;

import edu.ucsb.nceas.metacat.util.SystemUtil;

			} catch (GeneralPropertyException gpe) {

				throw new AdminException("DBAdmin.configureDatabase - Problem getting or " + 

						"setting property while initializing system properties page: " + gpe.getMessage());

		} else {

			// The configuration form is being submitted and needs to be

			// processed, setting the properties in the configuration file

			} catch (GeneralPropertyException gpe) {

				throw new AdminException("DBAdmin.configureDatabase - Problem getting or setting " +

						"property while upgrading database: " + gpe.getMessage());

		}

	}