pydev fixes