Hi, > On Monday 10 June 2013 gregor herrmann wrote: > > Could you please run > dpkg -l "openjdk*" | grep "^ii" > and paste the output?
ii openjdk-6-jdk:amd64 6b27-1.12.5-2
amd64 OpenJDK Development Kit (JDK)
ii openjdk-6-jre:amd64 6b27-1.12.5-2
amd64 OpenJDK Java runtime, using Hotspot JIT
ii openjdk-6-jre-headless:amd64 6b27-1.12.5-2
amd64 OpenJDK Java runtime, using Hotspot JIT (headless)
ii openjdk-6-jre-lib 6b27-1.12.5-2
all OpenJDK Java runtime (architecture independent libraries)
ii openjdk-7-jre-headless:amd64 7u21-2.3.9-5
amd64 OpenJDK Java runtime, using Hotspot JIT (headless)
ii openjdk-7-jre-lib 7u21-2.3.9-5
all OpenJDK Java runtime (architecture independent libraries)
> This Ubuntu bug might also be interesting:
> https://bugs.launchpad.net/ubuntu/+source/jabref/+bug/611987
> Summary: someone had openjdk-6-jre-headless installed but not
> openjdk-6-jre; I guess the problem might be the same with openjdk-7.
Yes, openjdk-7-jre was missing, after installation jabref works. It seems that
a recent upgrade
[UPGRADE] openjdk-7-jre-headless:amd64 7u21-2.3.9-4 -> 7u21-2.3.9-5
[UPGRADE] openjdk-7-jre-lib:amd64 7u21-2.3.9-4 -> 7u21-2.3.9-5
made openjdk-7 the default alternative for /usr/bin/java, but openjdk-7-jre
wasn't installed.
Cheers,
Tobias
signature.asc
Description: This is a digitally signed message part.
