public void handleMasterChange(int startLine, int endLine, int shift, boolean synchronous) {
    myCorrector.handleMasterChange(startLine, endLine, shift, synchronous);
  }
public void handleMasterChange(int startLine, int endLine, int shift, boolean synchronous)