public void setOriginalIndentOptionsHash(int originalIndentOptionsHash) {
    myOriginalIndentOptionsHash = originalIndentOptionsHash;
  }
public void setOriginalIndentOptionsHash(int originalIndentOptionsHash)