Fix JBMC link

Author: peterschrammel

README.md

@@ -2,5 +2,6 @@ Java Core Models Library
 ========================
 
 This repository contains a version of the Java Class Library (`rt.jar`) that can
-be used together with [JBMC](https://github.com/diffblue/jbmc) to model check
-Java code that calls the standard library.
+be used together with
+[JBMC](https://github.com/diffblue/cbmc/tree/develop/jbmc) to
+model-check Java code that calls the standard library.