kframework/k — pull request #711 by dwightguth (2014-07-11 14:48:31+00:00)
Title: make the maude backend output more deterministic

** do not review yet**

The Maude backend had some issues that were making the output to maude JVM dependent. I added some code whose purpose is to ensure that the ordering and numbering of rules is the same accross different Java versions.