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); }