Sorting for Big Red

Big Red is a graphical development environment for bigraphs, built upon
Eclipse.
https://github.com/ale-f/big-red