Debian/Ubuntu packages should depend on java7-runtime-headless, fixes #8