Add README

Author: peterschrammel

README.md

@@ -0,0 +1,7 @@
+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/cbmc/tree/develop/jbmc) to
+model-check Java code that calls the standard library.