For github issue #22

          threads that are part of a device driver.

          empty array

          Fix for #21

fixes #21

          Add_Suffix, if Add_Suffix is false, and no .aadl suffix is
          found, then simply discard the name.

          Fix for ticket #20

        For ticket #17

identifier. Fix deos configuration generation.

deployment when using DEOS

          that is null for record properties.

          For github ticket #17