javacc4 (4.0-1) unstable; urgency=medium * Cloned the javacc package and rolled back to the version 4 (Closes: #844744) -- Emmanuel Bourg <email address hidden> Fri, 18 Nov 2016 16:34:41 +0100