Hum.  Unfortunate.
I'm not sure how to make both eclipse and intellij free of warnings for this file, then.
Not a big enough problem to tackle now, I guess.