ant (1.9.7-3) unstable; urgency=medium * Do not set the javadoc encoding/locale parameters if they were already set with a <arg/> element (Closes: #823773) -- Emmanuel Bourg <email address hidden> Mon, 16 May 2016 15:14:43 +0200