I profiled and found that UTF-8 decoding is optimized on JRE 7 moreso than
US-ASCII!  I think the only optimization we need are during
case-insensitive equals (if profiling says so).  In a pending commit, I
only change javadoc in this class, nothing else :P