remove unused pydev settings