Currently /sbin/service also just runs /etc/init.d/sshd. Which of the possibilities is more future-proof I cannot say.