[maven-release-plugin] prepare for next development iteration
Merge branch 'master' into develop
Updated to Guava 17.0
Renamed generic parameter "O" to "D" (output Domain), resolving clash with Mealy machine output symbol parameter name
Removed obsolete import
Added CompactNFA implementation, +determinization
Moved javadoc aggregate jar to distribution module, removed email addresses
Merge branch 'develop'
Removed one additional email address