use more generic java.lang.AutoCloseable instead of I/O related java.io.Closeable

Actually it should implement java.lang.AutoCloseable, as java.io.Closeable is only meant for I/O related stuff (like Streams) and therefore throws IOException (which is not appropriate for Graphs). AutoCloseable also supports all the fancy syntactic sugar, just without the I/O focus.