public static void kill(Connection con)
	{
		try
		{
			con.close();
		}
		catch (Exception e)
		{
			System.out.println("could not close connection, exception occured: " + e);
		}
		System.out.println("Closed connection");
		if (driver.equals("org.apache.derby.jdbc.EmbeddedDriver"))
		{
			boolean gotSQLExc = false;
			try
			{
				DriverManager.getConnection("jdbc:derby:;shutdown=true");
			}
			catch (SQLException se)
			{
				if (se.getSQLState().equals("XJ015"))
				{
					gotSQLExc = true;
				}
			}
			if (!gotSQLExc)
			{
				System.out.println("Database did not shut down normally");
			}
			else
			{
				System.out.println("Database shut down normally");
			}
		}
	}