For now, I would prefer making default-jre-headless depend on both openjdk-6-jre-lib and openjdk-6-jre-headless; that seems simple and non-invasive. Matthias?
I don't agree that we should avoid fixing bugs in apt, although we should probably work around them until they're fixed.
The ca-certificates-java workaround does not fill me with joy ...
For now, I would prefer making default- jre-headless depend on both openjdk-6-jre-lib and openjdk- 6-jre-headless; that seems simple and non-invasive. Matthias?
I don't agree that we should avoid fixing bugs in apt, although we should probably work around them until they're fixed.
The ca-certificates -java workaround does not fill me with joy ...