Use LinkedHashSet for HttpHeaders.names() and add Javadoc about the performance of names() and entries()