update package name for apt jre

openjdk-7-jre installs all kinds of GUI stuff.
This doesn't work in Docker, use the headless package instead.