Make Enumerator extend java.io.Closeable rather than AutoCloseable. The latter does not exist until JDK 1.7.