public synchronized int indexOf(String subString, int start) {return super.indexOf(subString, start);}

public override int indexOf(string subString, int start){lock (this){return base.indexOf(subString, start);}}
