} catch (Exception x) {
} catch (CoreException x) {
		public void update(Observable o, Object arg) {			final int value= ((Integer)arg).intValue();			switch (value) {			case ProfileManager.PROFILE_DELETED_EVENT:			case ProfileManager.PROFILE_RENAMED_EVENT:			case ProfileManager.PROFILE_CREATED_EVENT:			case ProfileManager.SETTINGS_CHANGED_EVENT:				try {					fProfileStore.writeProfiles(fProfileManager.getSortedProfiles());				} catch (Exception x) {					JavaPlugin.log(x);				}			}		}