Small optimization in DefaultHttpHeaders.clear()