Download and install Sireum by following the instructions at: http://www.sireum.org/download.

(Alternatively, you can install the compiler tools listed at: http://compiler.santoslab.org/tools)

Launch Compiler Development Environment (DE) (add -h for help to supply custom Eclipse command-line arguments such as configuring memory):

sireum launch eclipse

Pick a directory for your workspace when asked.

Add SIREUM_HOME/apps/platform/java in Eclipe's Java Installed JREs preference page, and make it the default. In addition, set Eclipse's Java Compiler compliance level to 1.7.

Download the StaticJava Compiler (sjc) project set file. Import the project set file. This should import two projects into your workspace:

• compiler-sjc
• compiler-examples.

There should not be any compile error.

Run the JUnit tests in compiler-sjc and compiler-examples by right clicking each of the projects and select "Run As" and then "JUnit Test"; all tests should pass.