if (event.getProperty().equals(JavaBasePreferencePage.PROP_JDK)) { try { updateJDKLibraryEntry(); } catch (JavaModelException e) { JavaPlugin.log(e.getStatus());
try { String prop= event.getProperty(); if (prop.equals(JavaBasePreferencePage.PROP_JDK)) { updateJRELibEntry(); } else if (prop.equals(JDKZipFieldEditor.PROP_SOURCE) || prop.equals(JDKZipFieldEditor.PROP_PREFIX)) { updateJRESrcEntry();
			public void propertyChange(PropertyChangeEvent event) {				if (event.getProperty().equals(JavaBasePreferencePage.PROP_JDK)) {					try {						updateJDKLibraryEntry();					} catch (JavaModelException e) {						JavaPlugin.log(e.getStatus());					}				}			}