Bug#580842: cobertura: Please bump (Build-)Depends on libservlet2.3-java to 2.4 or 2.5

[Torsten Werner]

Hi Miguel,

On Mon, May 10, 2010 at 12:32 AM, Miguel Landaeta <miguel at miguel.cc> wrote:
> Already fixed in git.

I've checked the package and think that

  Depends: default-jre-headless

should really be something like

  Depends: default-jre-headless | java5-runtime-headless

I wonder about debian/patches/build_with_system_jars.diff because it
includes servlet-api*.jar. What happens, if more than 1 versions of
the jar are installed?


Cheers,
Torsten