adding rt.jar to classpath for exercises, to make ajbrowser happy.

diff --git a/docs/teaching/exercises/scripts/setpaths.bat b/docs/teaching/exercises/scripts/setpaths.bat
index c750e1d10b358905a846897453a20059fa4a4262..390eec58aceb70e089aba2f0aaf8ed04bf58a048 100755 (executable)
--- a/docs/teaching/exercises/scripts/setpaths.bat
+++ b/docs/teaching/exercises/scripts/setpaths.bat
@@ -12,4 +12,4 @@ echo please fix the JAVA_HOME environment variable
 :haveJava
 set ASPECTJ_HOME=%EXTRACTION%\aspectj
 set PATH=%ASPECTJ_HOME%\bin;%PATH%
-set CLASSPATH=.;%ASPECTJ_HOME%\lib\aspectjrt.jar;%EXTRACTION%\junit.jar
+set CLASSPATH=.;%ASPECTJ_HOME%\lib\aspectjrt.jar;%EXTRACTION%\junit.jar;%JAVA_HOME%\jre\lib\rt.jar

diff --git a/docs/teaching/exercises/scripts/setpaths.csh b/docs/teaching/exercises/scripts/setpaths.csh
index 88482de8bb69e47f84872773efa73aafce101710..276bbf4d17215849aafcf3c190972adb547e54f5 100755 (executable)
--- a/docs/teaching/exercises/scripts/setpaths.csh
+++ b/docs/teaching/exercises/scripts/setpaths.csh
@@ -5,7 +5,7 @@ set EXTRACTION=$HOME/aj-@aj.event@
 
 set ASPECTJ_HOME=$EXTRACTION/aspectj
 set PATH=$ASPECTJ_HOME/bin:$PATH
-set CLASSPATH=.:$ASPECTJ_HOME/lib/aspectjrt.jar:$EXTRACTION/junit.jar
+set CLASSPATH=.:$ASPECTJ_HOME/lib/aspectjrt.jar:$EXTRACTION/junit.jar:$JAVA_HOME/jre/lib/rt.jar
 
 chmod a+x $ASPECTJ_HOME/bin/ajc
 chmod a+x $ASPECTJ_HOME/bin/ajbrowser

diff --git a/docs/teaching/exercises/scripts/setpaths.sh b/docs/teaching/exercises/scripts/setpaths.sh
index f54f3dfafb7cfa47a542e1f8de82b3da2c9a94d1..e944776ed827697ae1953e38980516783b4db708 100755 (executable)
--- a/docs/teaching/exercises/scripts/setpaths.sh
+++ b/docs/teaching/exercises/scripts/setpaths.sh
@@ -11,7 +11,7 @@ fi
 
 export ASPECTJ_HOME=$EXTRACTION/aspectj
 export PATH=$ASPECTJ_HOME/bin:$PATH
-export CLASSPATH=.:$ASPECTJ_HOME/lib/aspectjrt.jar:$EXTRACTION/junit.jar
+export CLASSPATH=.:$ASPECTJ_HOME/lib/aspectjrt.jar:$EXTRACTION/junit.jar:$JAVA_HOME/jre/lib/rt.jar
 
 chmod a+x $ASPECTJ_HOME/bin/ajc
 chmod a+x $ASPECTJ_HOME/bin/ajbrowser