public void execute(EditorContext editorContext) {
   RestorableSelection selection = saveSelection(editorContext);
   doExecute();
   if (selection != null) {
     editorContext.flushEvents();
     selection.restore(editorContext);
   }
 }
 private static boolean check_j6szs9_a3a1(
     RestorableSelection checkedDotOperand, EditorContext editorContext) {
   if (null != checkedDotOperand) {
     return checkedDotOperand.restore(editorContext);
   }
   return false;
 }