Cope with missing annotation parameter#691

keynmol merged 1 commit intosourcegraph:mainsourcegraph/scip-java:mainfrom

Arthurm1:missing_annotation_parameterArthurm1/scip-java:missing_annotation_parameterCopy head branch name to clipboard