Made PyDev JRE 1.6 compatible.
Merge branch 'release' into development
try to fix compilation issues
Merge branch 'development' into release