Sadly had to revert the ResultMonitor refactorization: Interfaces don't
deserialize conveniently from JSON....