Nightly Binary Distribution Build
Smack
Tests: 872 passed
Duration: 20 minutes
Changes: Who: Florian Schmaus <flo@geekplace.eu>
Why: Merge pull request #587 from guusdk/sint_fix-annotation-read
[sinttest] Fix processing of SpecificationReference