public _IDiagnosticListener_17(UseSecondBestIndexTestCase _enclosing)
			{
				this._enclosing = _enclosing;
			}
 public _IDiagnosticListener_17(UseSecondBestIndexTestCase _enclosing)
 {
     this._enclosing = _enclosing;
 }