Have to fix this warning to fix compilation error in Jenkins

See https://github.com/eclipse-jdt/eclipse.jdt.ui/issues/493