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

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