Those jars are not needed; I was able to build the example by adding \jre\lib\rt.jar and \lib\tools.jar in the Java install directory to the classpath. Here is a sample batch file for Windows:
code
set HYPERJ_DIR=c:\hyperj
set JAVA_DIR=C:\Program Files\Java\jdk1.5.0_06
java -cp "%JAVA_DIR%\jre\lib\rt.jar";"%JAVA_DIR%\lib\tools.jar";%HYPERJ_DIR%;%HYPERJ_DIR%\bin\hyperj.jar com.ibm.hyperj.hyperj -hyperspace %HYPERJ_DIR%/demo/ObjectDimension.hs -concerns %HYPERJ_DIR%/demo/ObjectDimension/concerns.cm -hypermodules %HYPERJ_DIR%/demo/CheckDisplay.hm -verbose
[/code]
To run the example, you just need a classpath containing .\DemoSEE;%HYPERJ_DIR%\bin\hyperj.jar.