// Saving the file to disk
saveEditorPages( monitor );
saveConfiguration( path );
// Creating the new input for the editor
PathEditorInput newInput = new PathEditorInput( new Path( path ) );
// Setting the new input to the editor
setInput( newInput );
}