for (int i = 0; i < chars.length; ++i) {
final char c = chars[i];
if (c >= 'A' && c <= 'F') {
- chars[i] = Character.toLowerCase(c);
+ // Weird notation to ensure constant folding to '(char) (c + 32)', a well-known property of ASCII
+ chars[i] = (char) (c + ('a' - 'A'));
ret = true;
}
}