Update jbmc/lib/java-models-library to #11 (enable-monitor-exceptions)#3423

Merged

peterschrammel merged 3 commits intodiffblue:developfrom peterschrammel:enable-monitor-exceptions

Nov 17, 2018

+60-61

Commits on Nov 17, 2018