Github user bodewig commented on the issue:

    https://github.com/apache/ant/pull/47
  
    Similar to #44 we cannot change a public API and thus will not merge this request.
    
    In this particular case we even once changed it and had to revert the field to be non-final as we broike the Eclipse integration https://github.com/apache/ant/commit/984a03d1ceb6e4b5d194e4d639d0b0fca46d92be


---

---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscribe@ant.apache.org
For additional commands, e-mail: dev-help@ant.apache.org