How to Use Wrappers in Your Application

Discussion of what a user needs to do, or at least our vision of what that will be once the tool chain is complete (basically, use a jmlc command to compile, and then run using jmlracwrap or something).

Links for the various steps:

• Using JML

• CompilingYourClasses

• RunningYourApplication

• ControllingWrapperOptions (Chris' GUI goes here)