Fixing the Pydev build to be Java 1.6 compatible.