Acontece que o problema está ocorrendo com muita frequência no meu serviço de hospedagem, DigitalOcean .
Como não procurei por um problema relacionado ao DigitalOcean, não percebi que o problema era resolvido no Stack Overflow .
Do post vinculado:
% bl0ck_qu0te% A adição da linha acima em /etc/default/tomcat7
e a reinicialização do serviço resolveram o problema.