--- a/loadAll	Wed Mar 19 23:18:25 1997 +0000
+++ b/loadAll	Wed Mar 19 23:58:59 1997 +0000
@@ -68,13 +68,15 @@
 
 Java flushClasses. 
 Java classPath:#(
-		    '/home2/java/jdk1.02/java/lib/classes'
-		    '/home2/java/JDK/classes'
+		    '/home2/java/jdk1.13/java/lib/classes'
+"/                    '/home2/java/jdk1.02/java/lib/classes'
+"/                    '/home2/java/JDK/classes'
 		).
 
 Java sourceDirectories:#(
-		    '/home2/java/jdk1.02/java/src'
-		    '/home2/java/JDK/src'
+		    '/home2/java/jdk1.13/java/src'
+"/                    '/home2/java/jdk1.02/java/src'
+"/                    '/home2/java/JDK/src'
 			).
 
 JavaClassReader loadClass:'java/util/Stack'.