Use PyDev 3.7.1