echo 'Running SQLJ ...'
sqlj HT_Explorer.sqlj
echo 'Running Java Compiler ...'
/usr/java1.2/bin/javac HT_Explorer.java
echo 'Launching application ...'
/usr/bin/java HT_Explorer