clean up maude runner and io server
clean up some pom dependencies
clean up some eclipse warnings
fix nontermination error
fix race condition
Merge pull request #1085 from dwightguth/maude

clean up maude runner and io server