if you want my vote, it is that we treat issues like this as bugs and not do all this Version stuff.
i supplied this patch (22KB versus 2KB) to show how even the smallest issue creates more complexity.
Also, read the javadocs for what Version does, it reads just like a bug:
- As of 3.1, supplementary characters are properly lowercased.
I mean, honestly, its not like we provided a back compat mechanism for 3.0,
where this behavior changed for lots of contrib that uses String-based methods, such as String toLowerCase (they return different results on JRE5 than JRE4)
but we can go either way, doesn't matter to me.