Bug 73984 Editing user library jar path after path change does not work [build path]
1) Create a directory containing jar file 2) Add this jar file to a new user library 3) Rename directory from 1) 4) Update the path to jar file in user libraries (select old jar reference, select new location in browser, open -> path is not updated, but old path is still used
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/UserLibraryPreferencePage.java
URL javadoc= new URL(archiveElement.getAttribute(TAG_JAVADOC));
							newArchive.setAttribute(CPListElement.JAVADOC, javadoc);
						} catch (MalformedURLException e) {
							
						}
					}
				}
			}
			return result;
		}
		public List getLoadedLibraries() {
			return fExportImportList.getCheckedElements();
		}
	}
	
	private IDialogSettings fDialogSettings;
	private TreeListDialogField fLibraryList;
	private IJavaProject fDummyProject;
		
	private static final int IDX_NEW= 0;
	private static final int IDX_EDIT= 1;
	private static final int IDX_ADD= 2;
	private static final int IDX_REMOVE= 3;
	private static final int IDX_LOAD= 5;
	private static final int IDX_SAVE= 6;
	
	/**
	 * Constructor for ClasspathVariablesPreferencePage
	 */
	public UserLibraryPreferencePage() {