Ignore spurious PyDev warnings.