I got another patch for PyDev to compile with Java 5. This time, the offending class was org.python.parser.PythonGrammar. Some variables are given the name 'enum', which is a keyword in Java 5 because it has enumerations (not just an Enumeration class).
Solution? Just use iterators, as the Javadocs recommend anyway.