Bug#732320: java-package: for jdk provide alternative to bin/java rather than jre/bin/java

[Emmanuel Bourg]

> firstly, a JDK is usually installed to be used as JDK not a JRE (else one
> would use the JRE to begin with). secondly, Eclipse/ANT continually
> complaints about the java exec not being from an JDK, preventing the use
> of the same JRE as Eclipse uses and thus a several features requiring ANT
> to use the same java as Eclipse does.

Hi Arne,

Could you paste an example of warning displayed by Ant and Eclipse
please? What Ant task triggers this warning exactly?

Emmanuel Bourg