Updated dependency list of Debian packages to also accept JDK6 instead of JDk7