Change for TSR deletion (in v3.3.0) implemented (but the test still has to be corrected).
Merge branch 'OpenETCS/master'
Revision of windows sizes
TSR revocation test corrected
Merge branch 'OpenETCS/master'
Property description field is finally resized!
Windows resized
Automatic update of spec id
Automatic update of spec id
TSR test finished
Use common types defined in Messages for message's values
New Messages of the JRU and new test
Merge branch 'EFSMainbranch/master'

Conflicts:
	ErtmsFormalSpecs/doc/specs/subset-026/Kernel.efs_ns
Created function DoubleToInteger
TrainData Message (been built)
Merge branch 'EFSMainbranch/master'
Braking models values are changed to make braking curves more realistic.
Braking curves implementation revision according to 3.3.0.
Merge branch 'OpenETCS/master'
JRU Send Train Data Message