CifBddConverter.convert: fix typo in JavaDoc
It currently indicates `In case the specification is non-determinism that is not supported.`.
issue
Copyright © Eclipse Foundation AISBL. All rights reserved. Privacy Policy | Terms of Use | Copyright Agent