Android, Java and Python’s sorting algorithm is broken (and how to fix) (envisage-project.eu)