K 10 svn:author V 2 hq K 8 svn:date V 27 2005-02-21T09:49:04.000000Z K 7 svn:log V 167 - Update to 1.0 final - Improve launcher shell script: use JAVA_VERSION instead of hardcoding a particular JDK - Use SUB_FILES to generate the launcher shell script END