JarFile jar = (JarFile) jarsToBeDeleted.get( i ); jar.deleteJarFromODADir( );
JarFile jar = (JarFile) jarsDeleteIterator.next( ); jar.copyJarToODADir( );
	protected void okPressed() {    	Utility.setPreferenceStoredMap( JdbcPlugin.JAR_MAP_PREFERENCE_KEY,				jarMap );		Utility.setPreferenceStoredMap( JdbcPlugin.DRIVER_MAP_PREFERENCE_KEY,				driverMap );		for ( int i = 0; i < jarsToBeCopied.size( ); i++ )		{			JarFile jar = (JarFile) jarsToBeCopied.get( i );			jar.copyJarToODADir( );			Utility.removeMapEntryFromPreferenceStoredMap( JdbcPlugin.DELETED_JAR_MAP_PREFERENCE_KEY,					getFileNameFromJarFile( jar ) );		}		for ( int i = 0; i < jarsToBeDeleted.size( ); i++ )		{			JarFile jar = (JarFile) jarsToBeDeleted.get( i );			jar.deleteJarFromODADir( );			Utility.putPreferenceStoredMapValue( JdbcPlugin.DELETED_JAR_MAP_PREFERENCE_KEY,					getFileNameFromJarFile( jar ),					jar );		}		refreshDriverPage( );		super.okPressed( );	}