> On Jun 29, 2017, at 1:39 PM, Stefan Seelmann <[email protected]> wrote: > > Not sure, but probably this change was accidentially included in this > commit? At least the Jenkins jobs fail with some DSD cardinality mismatch.
Stefan, yes that is exactly the case. I was attempting some code simplifications on the DSD checker, as it’s complex, and slipped a bug into the commit with the javadoc changes. Thanks for catching my attention, and glad the automated tests did their job and caught this silly mistake. Shawn
