Suppress warning ChoiceGeneratorBase() has been deprecated#77

cyrille-artho merged 1 commit intojavapathfinder:java-10javapathfinder/jpf-core:java-10from

gayanW:java-10-72gayanW/jpf-core:java-10-72Copy head branch name to clipboard