- Improve launcher shell script: use JAVA_VERSION instead of hardcoding a particular JDK - Use SUB_FILES to generate the launcher shell script