* @param path Path of file to create.
*/
private void createFile(final IFile path) {
IRunnableWithProgress op = new IRunnableWithProgress() {
public void run(IProgressMonitor monitor) {
CreateFileOperation op = new CreateFileOperation(path,
null, null,
"Creating diagram file");
try {
// see bug
// https://bugs.eclipse.org/bugs/show_bug.cgi?id=219901
// directly execute the operation so that the undo state is
// not preserved. Making this undoable resulted in too many
// accidental file deletions.
op.execute(monitor, WorkspaceUndoUtil
.getUIInfoAdapter(getShell()));
} catch (final ExecutionException e) {
ErrorDialog.openError(getContainer().getShell(),
"Failed to create DISPEL diagram file",