Bug#819128: ant package dependency on jre is not enough

[Emmanuel Bourg]

Le 24/03/2016 02:00, Daniel Chao a écrit :

> The default default dependency of default-jre-headless will result error message
> "Unable to locate tools.jar. Expected to find it in /usr/lib/jvm/java-7-openjdk/lib/tools.jar"

Hi Daniel,

Actually a JDK is not mandatory to use Ant, it's only required to run
the JDK tools (javac, javadoc, xjc, etc). Most of the other tasks can be
used with a mere JRE (copy, zip, move, exec, scp, etc). The ant package
has a suggested dependency on the JDK, and I think it's correct since
it's indeed optional.

Emmanuel Bourg