Slight update to the README

README.md

@@ -2,6 +2,8 @@ JSylvan
 =======
 JSylvan allows using [Sylvan](https://github.com/utwente-fmt/sylvan) from Java using JNI.
 
+This project is experimental and unstable. It may not work. Fork at your own risk.
+
 Sylvan is a parallel (multi-core) BDD library in C. Sylvan allows both sequential and parallel BDD-based algorithms to benefit from parallelism. Sylvan uses the work-stealing framework Lace and a scalable lockless hashtable to implement scalable multi-core BDD operations.
 
 JSylvan and Sylvan are developed (© 2011-2014) by the [Formal Methods and Tools](http://fmt.ewi.utwente.nl/) group at the University of Twente as part of the MaDriD project, which is funded by NWO. JSylvan is licensed with the Apache 2.0 license.
@@ -10,16 +12,10 @@ See also: https://github.com/utwente-fmt/sylvan
 
 Compiling
 ---------
-Requires jni.h in the path for Maven to find.
+Probably requires jni.h in the path for Maven to find.
 
 Usage
 -----
 You can find a simple example in `java/src/main/java/jsylvan/JSylvanDemo.java`.
 
-Updating to the latest version of Sylvan
-----------------------------------------
-Use the following command:
-```
-git subtree pull --prefix=native/sylvan [email protected]:utwente-fmt/sylvan master --squash -m "Update Sylvan to latest version"
-```
-
+You can find another simple example in `java/src/main/java/jsylvan/MCFile.java`.