Remove unused constructors in external AssumptionViolatedException.
Merge pull request #993 from kcooney/AssumptionViolatedException-remove-unused-ctors

Remove unused constructors in the external AssumptionViolatedException.
[maven-release-plugin] prepare release r4.12-beta-2
[maven-release-plugin] prepare for next development iteration