modification of the cleanUp scheme, preparation of the readers architecture, removal of attributes in LTS (use of label for transition instead), removal of the loaded mechanism in models
add methods to read from file and string in Model, correct the state mapping construction for the AutLtsWriter, removal of transition ids
update wrt the last commit in the main branch that Fixes #7 (forgotten)
add licence information in source files
Fixes #9 jar file rebuilt and updated
refactoring wrt the "questionnable variable name" inspection
corrected code wrt some PMD inspections
corrected code wrt some IntelliJ warnings
add base of STG class, add call to super.cleanUp() in cleanUp override methods
merge of the master branch modifications
merge of the master branch modifications