java: public String toString() {return "IndexSearcher(" + reader + "; executor=" + executor + "; sliceExecutionControlPlane " + sliceExecutor + ")";}
C#: public override string ToString(){return "IndexSearcher(" + reader + "; executor=" + executor + ")";}