Removing ping from PyDev.
Minor