Vipin and Juegen, thank you very much! the app works fine. Now, I downloaded Hot Java 1.1.5 generic version (I think it'll run on my Linux 4.2 and I have jdk 1.1.5). I "unziped" the zip file and the subdir bin/ contains the script hotjava. I added the following at top: set HOTJAVA_HOME=/users/local/bin/HotJava/HotJava1.1.5 set JDK_HOME=/users/local/bin/java/jdk1.1.5 I didn't modify anything, but appears the following: HOTJAVA_HOME is set to /users/local/bin/HotJava/HotJava1.1.5 Can't execute: /users/local/bin/HotJava/HotJava1.1.5/runtime/bin/jre why? thanks! Carlos Alberto Roman Zamitiz Departamento de Ingenieria en Computacion, Facultad de Ingenieria UNAM [EMAIL PROTECTED]
