Use Java 7 on debian if it's available
Merge pull request #1016 from pieterlexis/debian_java_dep

Use Java 7 on debian if it's available