Made PyDev JRE 1.6 compatible.