On Wed, Jul 9, 2014 at 11:35 AM, Matthias Klose <doko@debian.org> wrote: > Please tell the versions used for both ecj and ecj-gcj. ecj (3.10.0+3.9.0-3) ecj-gcj (3.10.0+3.9.0-3)