use openjdk-7-jre-headless on debian