k3-sle: Go back to plain Java Collections API for list sorting