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

Commits on Nov 17, 2018