jdbcDriverInfos.add( newInfo ); driverNameMap.put( newInfo.getDriverClassName(), newInfo);
	public static ArrayList getJdbcDriverNames( String driverName )	{		if ( jdbcDriverInfos != null )			return jdbcDriverInfos;				jdbcDriverInfos = new ArrayList( );		driverNameMap = new HashMap();		// Get drivers from drivers subdirectory		addDriversFromFiles( );		// Merge drivers from the driverInfo extension point		JDBCDriverInformation driverInfos[] = JDBCDriverInfoManager.getDrivers();		for (int i = 0; i < driverInfos.length; i++)		{			JDBCDriverInformation newInfo = driverInfos[i];			// If driver already found in last step, update it; otherwise add new			JDBCDriverInformation existing = 					(JDBCDriverInformation)	driverNameMap.get( newInfo.getDriverClassName());			if ( existing == null )			{				/*jdbcDriverInfos.add( newInfo );				driverNameMap.put( newInfo.getDriverClassName(), newInfo);*/			}			else			{				existing.setDisplayName( newInfo.getDisplayName());				existing.setUrlFormat( newInfo.getUrlFormat());			}		}					// Read user setting from the preference store and update		Map preferenceMap = JdbcDriverManagerDialog.getPreferenceDriverInfo( );		for ( Iterator itr = jdbcDriverInfos.iterator( ); itr.hasNext( ); )		{			JDBCDriverInformation info = (JDBCDriverInformation) itr.next( );							Object ob = preferenceMap.get( info.toString( ) );			if ( ob != null )			{				String[] vals = (String[]) ob;				if ( vals[1] != null && vals[1].length( ) > 0 )				{					info.setUrlFormat( vals[1] );				}			}		}				return jdbcDriverInfos;	}