Delete plugin.xml for org.python.pydev.core.