I think we should not do this. Instead if we are paranoid about people not using this after shutdown(), we can add checks of isShutdown() but I think its not required.