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);}}
