diff --git a/examples/java/README b/examples/java/README
index fa1f20a63..6da4958e4 100644
--- a/examples/java/README
+++ b/examples/java/README
@@ -1,7 +1,5 @@
-### This is work-in-progress and does not work yet.
-
-Small example using the Z3 Java bindings.
-To build the example execute
+A small example using the Z3 Java bindings.   
+To build the example, configure Z3 with the --java option to scripts/mk_make.py, build via  
    make examples
 in the build directory.
 
@@ -11,5 +9,5 @@ which can be run on Windows via
 
 On Linux and FreeBSD, we must use
    LD_LIBRARY_PATH=. java -cp com.microsoft.z3.jar:. JavaExample
- 
-   
\ No newline at end of file
+On OSX, the corresponding option is DYLD_LIBRARY_PATH:   
+   DYLD_LIBRARY_PATH=. java -cp com.microsoft.z3.jar:. JavaExample  
diff --git a/src/api/java/README b/src/api/java/README
index 7afe098fb..c9dbcf8f7 100644
--- a/src/api/java/README
+++ b/src/api/java/README
@@ -1,3 +1,6 @@
 Java bindings
 -------------
 
+The Java bindings will be included in the Z3 build if it is configured with   
+the option --java to python scripts/mk_make.py. This will produce the   
+com.microsoft.z3.jar package in the build directory.
diff --git a/src/api/java/manifest b/src/api/java/manifest
index b54445cf2..88eac9a3a 100644
--- a/src/api/java/manifest
+++ b/src/api/java/manifest
@@ -1,2 +1,2 @@
 Manifest-Version: 1.0
-Created-By: 4.3.0 (Microsoft Research LTD.)
+Created-By: 4.3.2 (Microsoft Research LTD.)