On 2016-03-05, Uwe Schindler wrote: > This is why I put the Ant developers in CC. The correct way would be > to look at the *decoded* path (not just getPath() because this is also > one of the "famous" traps in the URL class - one reason why it should > be avoided in favor of URI). URL.toURI().getPath() is most safe to fix > the issue in Apache Ant
Part of the reason for this certainly is that the code has been written before the URI class even existed. > (Stefan Bodewig: Should I open an issue in Ant?). Yes, please do. Thanks Uwe. > Maybe Ant developers can fix this code in later versions to handle > URLs more correct. +1 Stefan