while not huffman, in worst case, this duplicates the array holding the header name.  BufferedSource.readAsciiLowercase() may seems a nasty edge case, but could avoid the duplication.