Make pydev plugins 1.6 compatible.