tag 716706 + unreproducible tag 716706 + moreinfo quit Hi,
I'm sorry but I don't understand your bug report. You've stated that " It seems that the Debian developers may have accidentally either named the openjdk-7-jre to 7 rather than 6 or they put the openjdk-6-jre package in the package that is named with 7 " Here is a simple check : /usr/lib/jvm/java-7-openjdk-amd64/bin/java -version java version "1.7.0_25" OpenJDK Runtime Environment (IcedTea 2.3.12) (7u25-2.3.12-4) OpenJDK 64-Bit Server VM (build 23.7-b01, mixed mode) Maybe you've not launching the right runtime ? Please look at [1] for instructions on how to use update-java-alternatives command [1] https://wiki.debian.org/Java#Switching Regards, -- Damien
