some edit to work with PyDev