Bug#686876: libjetty-extra-java: please migrate to Tomcat 7

[Aaron M. Ucko]

Package: libjetty-extra-java
Version: 6.1.26-1
Severity: normal

libjetty-extra-java depends on libtomcat6-java, leading to indirect
conflicts with packages such as Eclipse 3.8 that depend on
libtomcat7-java.  (The Tomcat packages cannot coexist because both
ship unversioned symlinks.)

Could you please look into joining Eclipse on libtomcat7-java?

Thanks!

-- System Information:
Debian Release: wheezy/sid
  APT prefers testing
  APT policy: (500, 'testing'), (500, 'stable'), (300, 'unstable')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 3.2.0-3-amd64 (SMP w/4 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

Versions of packages libjetty-extra-java depends on:
ii  ant                                                               1.8.2-4
ii  libgeronimo-jta-1.1-spec-java [libgeronimo-jta-1.0.1b-spec-java]  1.1.1-2
ii  libgnujaf-java                                                    1.1.1-8
ii  libgnumail-java                                                   1.1.2-7
ii  libjetty-java                                                     6.1.26-1
ii  libmx4j-java                                                      3.0.2-12
ii  libslf4j-java                                                     1.6.5-1
ii  libtomcat6-java                                                   6.0.35-4
ii  libxerces2-java                                                   2.11.0-6

Versions of packages libjetty-extra-java recommends:
ii  libjetty-extra  6.1.26-1

Versions of packages libjetty-extra-java suggests:
ii  jetty  6.1.26-1

-- no debconf information