Change debian dep from default-jre-headless to openjdk-7-jre
Minor tweaks in build.sh