In the Interface Propagator, belonging to the
org.orekit.propagation Class, apart from methods
clearEventsDetectors, it would be useful to have also a
removeEventDetector method to remove a specific detector.
This would be useful, for instance, to stop logging certain events that are not of interest once another event occurred or after a certain date.