if (d instanceof IDocumentExtension4) {
IDocumentExtension4 extension = (IDocumentExtension4) d;
rewriteSession = extension.startRewriteSession(DocumentRewriteSessionType.SEQUENTIAL);
}
// Perform the shift operation.
PyShiftLeft pyShiftLeft = new PyShiftLeft();
pyShiftLeft.setEditor(getEdit());
pyShiftLeft.run(null);
} finally {
if (d instanceof IDocumentExtension4) {
IDocumentExtension4 extension = (IDocumentExtension4) d;