Update lib/java-models-library to java-models-library#14 (append(bool…#3449

romainbrenguier merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

romainbrenguier:update-java-models-library/PR14romainbrenguier/cbmc:update-java-models-library/PR14Copy head branch name to clipboard