ignore erroneous Eclipse warning with link to the bug tracking a fix