BTW, one Red Hatter had this to say:
> Yeah, AFAIAC this is a bug in ant. Really, the build file should be using
> ${java.version} instead of ${ant.java.version} to avoid this problem, IMHO.
> I ran into a similar issue with the Eclipse SDK.
Comments?
regards, tom lane