couldn't they 'undo' the mistake between the wall and the switches in the basement?
If they got the pairs wrong at the wall jacks, there's not much you can do without repatching the whole thing. If they realized that they could make short cables that fixed it so that the pairs were mapped properly to port pins, that's quite clever in my books!
Of course you could always make your own cable, but this was in the 90's, when the tool for that was very expensive.
They had a classroom in that dorm I taught in and remember near the end of the semester seeing signs telling people to remember to return their cable.