/** This operation is run after doing the refactoring. */
public void doAfterRefactoring() {
WranglerUtils.notifyErlide(getChangedFiles());
}
/** Sets back the initial Erlide selection */
public void resetSelection() {
WranglerUtils.highlightSelection(
initianlSelection.getSelectionRange().getOffset(),
initianlSelection.getSelectionRange().getLength(),
initianlSelection);
}