added additional code for PyDev code completion