Gitignore for Settings.java
Deleted shit
Merge branch 'DFAshortestCE' of https://github.com/mvolpato/learnlib.git into DFAshortestCE