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
List elements= getLoadedLibraries();
				for (int i= 0; i < elements.size(); i++) {
					CPUserLibraryElement curr= (CPUserLibraryElement) elements.get(i);
					if (map.contains(curr.getName())) {
						nReplaced++;
					}
				}
				if (nReplaced > 0) {
					String replaceTitle= PreferencesMessages.getString("UserLibraryPreferencePage.LoadSaveDialog.load.replace.title"); 
					String replaceMessage;
					if (nReplaced == 1) {
						replaceMessage= PreferencesMessages.getString("UserLibraryPreferencePage.LoadSaveDialog.load.replace.message"); 
					} else {
						replaceMessage= PreferencesMessages.getFormattedString("UserLibraryPreferencePage.LoadSaveDialog.load.replace.multiple.message", String.valueOf(nReplaced)); 
					}
					if (!MessageDialog.openConfirm(getShell(), replaceTitle, replaceMessage)) {
						return;
					}
				}
			}
			super.okPressed();
		}
		
		/* (non-Javadoc)
		 * @see org.eclipse.jface.dialogs.Dialog#close()
		 */
		public boolean close() {
			Point point= getShell().getSize();
			fSettings.put(PREF_USER_LIBRARY_LOADSAVE_SIZE, StringConverter.asString(point));
			return super.close();