SequenceReader.close() can safely be called more than once