A Debian /etc/init.d/ script that manages a minecraft server