testing regex removal
cleaning up
more cleanup
Merge pull request #78 from runtimeverification/addressDwight

Removing the need for regex or commons-lang