} catch (JavaModelException e) { JavaPlugin.log(e.getStatus());
			public void propertyChange(PropertyChangeEvent event) {				if (event.getProperty().equals(JavaBasePreferencePage.PROP_JDK)) {					try {						updateJDKLibraryEntry();					} catch (JavaModelException e) {						JavaPlugin.log(e.getStatus());					}				}			}