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
try {
					context.run(true, true, new IRunnableWithProgress() {
						public void run(IProgressMonitor monitor) throws InvocationTargetException, InterruptedException {
							try {
								saveLibraries(elements, file, monitor);
							} catch (IOException e) {
								throw new InvocationTargetException(e);
							}
						}
					});
					fSettings.put(PREF_LASTPATH, file.getPath());
				} catch (InvocationTargetException e) {
					String errorTitle= PreferencesMessages.getString("UserLibraryPreferencePage.LoadSaveDialog.save.errordialog.title"); 
					String errorMessage= PreferencesMessages.getFormattedString("UserLibraryPreferencePage.LoadSaveDialog.save.errordialog.message", e.getMessage()); 
					ExceptionHandler.handle(e, getShell(), errorTitle, errorMessage);
					return;
				} catch (InterruptedException e) {
					
					return;
				}
				String savedTitle= PreferencesMessages.getString("UserLibraryPreferencePage.LoadSaveDialog.save.ok.title"); 
				String savedMessage= PreferencesMessages.getString("UserLibraryPreferencePage.LoadSaveDialog.save.ok.message"); 
				MessageDialog.openInformation(getShell(), savedTitle, savedMessage);
			} else {
				HashSet map= new HashSet(fExistingLibraries.size());
				for (int k= 0; k < fExistingLibraries.size(); k++) {
					CPUserLibraryElement elem= (CPUserLibraryElement) fExistingLibraries.get(k);
					map.add(elem.getName());
				}
				int nReplaced= 0;