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

[Miguel Landaeta]

On Mon, May 10, 2010 at 3:12 AM, Torsten Werner <twerner at debian.org> wrote:
> I've checked the package and think that
>
>  Depends: default-jre-headless
>
> should really be something like
>
>  Depends: default-jre-headless | java5-runtime-headless

Done.

> 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?

I listed all .jar needed for build classpath in debian/classpath-debian and
I included this file in build.xml. This should solve any ambiguity with
servlet-api*.jar.

Cheers,

-- 
Miguel Landaeta, miguel at miguel.cc
secure email with PGP 0x7D8967E9 available at http://keyserver.pgp.com/
"Faith means not wanting to know what is true." -- Nietzsche