Merge branch 'develop'
Removed one additional email address
Removed all remaining mail addresses
Fixed javadoc error in API
Fixed javadoc error in core module
Fixed javadoc in automata-commons-dotutil
Fixed javadoc errors in util module
Fixed javadoc errors in misc-algorithms module
[maven-release-plugin] prepare release automatalib-0.4.1
[maven-release-plugin] prepare for next development iteration
Merge branch 'master' into develop