public static void writeFile(
IFile file, final InputStream contents, final String charset, IProgressMonitor monitor)
throws CoreException {
WorkspaceUtilities.writeFile(file, contents, charset, monitor);
}
public void save(IProgressMonitor monitor) throws CoreException {
WorkspaceUtilities.writeFile(
getSettingsFile(), toEncodedXml(), WorkspaceUtilities.DEFAULT_CHARSET, monitor);
}