Removing ping from PyDev.