#52 null pointer exception in harmonise servlet destroy()

[John King]

If the scheduler is switched off a null pointer is
thrown in the destroy() method of HarmoniseServlet when
it is unloaded by the servlet container.

This spoils the otherwise neat appearance of the logs...