LearnLib/learnlib — pull request #10 by stovocor (2014-01-20 15:00:32+00:00)
Title: Code cleanup

Various small cleanups