public synchronized void setCharAt(int index, char ch) {super.setCharAt(index, ch);}

public synchronized void setCharAt ( int index , char ch ) { super . setCharAt ( index , ch ) ; }
public override void setCharAt(int index, char ch){lock (this){base.setCharAt(index, ch);}}
