public static void writeProfilesToFile(Collection profiles, File file) throws IOException, CoreException { final OutputStream writer= new FileOutputStream(file);
public static void writeProfilesToFile(Collection profiles, File file) throws CoreException { final OutputStream writer;
	public static void writeProfilesToFile(Collection profiles, File file) throws IOException, CoreException {		final OutputStream writer= new FileOutputStream(file);		try {			writeProfilesToStream(profiles, writer);		} finally {			writer.close();		}	}