Use native sorting instead of GWT's sort