public void PumpFailed( Exception e )
abstract PumpFailed : e : Exception -> unit override PumpFailed : e : Exception -> unit