Swing table sorting up to 6x faster (by forgoing locale-sensitive sort)