On 02/21/2012 02:13 PM, Ludovic Claude wrote:
> openjdk-7-jre-headless provides java-5-runtime and java-6-runtime, both
> of which are alternative choices for tomcat7-common dependencies, so you
> can install openjdk-7-jre-headless, then tomcat7-common, and no
> additional JRE should be installed.
> On 21/02/2012 17:29, Rohde Fischer wrote:
>> Package: tomcat7-common
>> Severity: normal
>> Dear Maintainer,
>> Tomcat7-common depends on default-jre-headless which in turn depends on
>> openjdk-6-jre-headless. But what about openjdk-7-jre-headless? This should
>> satisfy Tomcat perfectly.
Yes, the dependency resolution mechanism Ludovic describes is what's
expected, but I'm able to reproduce this behavior in a clean chroot. It
looks like there are some mismatches between what the JRE's provide and
what tomcat7 (and tomcat6) are looking for.
Thank you for the bug report - we'll get it resolved with the next upload.
This is the maintainer address of Debian's Java team
debian-j...@lists.debian.org for discussions and questions.