public synchronized void getChars(int start, int end, char[] buffer, int idx) {super.getChars(start, end, buffer, idx);}
public override void getChars(int start, int end, char[] buffer, int idx){lock (this){base.getChars(start, end, buffer, idx);}}