Proper shutdown of a ScheduledExecutorService

How to avoid an easy pitfall when deferring periodic jobs for the future through this popular interface.