tree 604e6ceeb8943846c5e425b1cb2b93e875afcb53
parent af1a66b0bf61533655d84bf77dd1c86878d27be6
author Julian Hyde <julianhyde@gmail.com> 1371421253 -0700
committer Julian Hyde <julianhyde@gmail.com> 1371421253 -0700

Enumerator now extends AutoCloseable. This will improve resource management when an Enumerable or Enumerator wraps a resource such as a file or database connection.