jbook examples: Included all examples provided with jbook in an optional test suite inside. Only programs that don't compile and one non-deterministic program are not included. See java-semantics\external-programs\jbook\test plan jbook.txt for more details.