Update jbmc/lib/java-models-library to java-models-library#8#2654

Merged

peterschrammel merged 2 commits intodiffblue:developfrom

peterschrammel:update-jml8

Aug 1, 2018

Commits on Aug 1, 2018

Revert "CMake version.cpp: switch back to add_custom_target"
peterschrammel
authored
Update jbmc/lib/java-models-library to java-models-library#8 (remove sun.* imports)
peterschrammel
committed