[ANDROIDAPP-597]

order dining halls by short name