use case-insensitive natural sorting in spring menu lists