// convert operation to change line delimiters
TextFileBufferOperation convertOperation = new ConvertLineDelimitersOperation(
"\n");
// operation runner for the convert operation
FileBufferOperationRunner runner = new FileBufferOperationRunner(
buffManager, null);
// execute convert operation in runner
try {
// FIXME #2671663: Converting Line Delimiters causes Save
runner.execute(paths, convertOperation, new NullProgressMonitor());
} catch (OperationCanceledException e) {
EditorManager.log.error("Can't convert line delimiters:", e);
} catch (CoreException e) {
EditorManager.log.error("Can't convert line delimiters:", e);
}