Parsing exception fix#16

daniel-larraz merged 4 commits intokind2-mc:mainkind2-mc/kind2-java-api:mainfrom

Jabe03:alternate-parsing-exception-fixJabe03/kind2-java-api:alternate-parsing-exception-fixCopy head branch name to clipboard