Update README.md

Author: davidcok

README.md

@@ -3,5 +3,10 @@ This is the primary repository for the OpenJML project. The active issues list f
 and the [wiki](https://github.com/OpenJML/OpenJML/wiki) contains information relevant to development. 
 Public documentation for users is at the [project website](https://www.openjml.org).
 
+Releases numbered 0.16.X and following are installed simply by unzipping the downloaded release file into an empty directory of the user's choice.
+The release includes the executable file ``openjml``, which implements OpenJML.
+On Mac OS, you may need to execute the ``mac-setup`` script so that the Mac security system allows the OpenJML libraries to be executed.
+The 0.16.X series of releases do not need a particular version (or any version) of Java installed.
+
 This material is partially based upon work supported by the National Science Foundation under Grant No. ACI-1314674.
 Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation.