rodin@rodin-Satellite-A135:~$ dpkg-query -l "openjdk*"
Desired=Unknown/Install/Remove/Purge/Hold
| Status=Not/Inst/Conf-files/Unpacked/halF-conf/Half-inst/trig-aWait/Trig-pend
|/ Err?=(none)/Reinst-required (Status,Err: uppercase=bad)
||/ Name           Version        Description
+++-==============-==============-============================================
un  openjdk-6-dbg  <none>         (no description available)
un  openjdk-6-demo <none>         (no description available)
un  openjdk-6-doc  <none>         (no description available)
ii  openjdk-6-jdk  6b24-1.11.1-4u OpenJDK Development Kit (JDK)
ii  openjdk-6-jre  6b24-1.11.1-4u OpenJDK Java runtime, using Hotspot JIT
ii  openjdk-6-jre- 6b24-1.11.1-4u OpenJDK Java runtime, using Hotspot JIT (hea
ii  openjdk-6-jre- 6b24-1.11.1-4u OpenJDK Java runtime (architecture independe
un  openjdk-6-jre- <none>         (no description available)
un  openjdk-6-sour <none>         (no description available)
ii  openjdk-7-jre  7~u3-2.1.1~pre OpenJDK Java runtime, using Hotspot JIT
ii  openjdk-7-jre- 7~u3-2.1.1~pre OpenJDK Java runtime, using Hotspot JIT (hea
ii  openjdk-7-jre- 7~u3-2.1.1~pre OpenJDK Java runtime (architecture independe
rodin@rodin-Satellite-A135:~$