Fixes a compilation error (maybe a difference between javac and ecj?)

Forwarded: no


Gbp-Pq: Name 01-fix-compilation-error.patch
3 jobs for patch-queue/master in 39 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Build
canceled #323624
build

00:00:39

 
  Test
canceled #323626
allowed to fail
code_quality

canceled #323625
test