Got rid of cruft that PyDev added