Adding commit with PyDev settings -- should probably not go into the mainline.