`super.postStop` should be empty, as should `super.preStart`; but I guess both should be included on general grounds