public void writeProfiles(Collection profiles) throws CoreException, IOException { writeProfilesToFile(profiles, fStoreFile);
public void writeProfiles(Collection profiles) throws CoreException { ByteArrayOutputStream stream= new ByteArrayOutputStream(2000); try { writeProfilesToStream(profiles, stream); byte[] bytes= stream.toByteArray(); String val; try { val= new String(bytes, "UTF-8"); } catch (UnsupportedEncodingException e) { val= new String(bytes); } PreferenceConstants.getPreferenceStore().setValue(PREF_FORMATTER_PROFILES, val); JavaPlugin.getDefault().savePluginPreferences(); } finally { try { stream.close(); } catch (IOException e) {  } }
	public void writeProfiles(Collection profiles) throws CoreException, IOException {		writeProfilesToFile(profiles, fStoreFile);	}