[MJLINK-18] Added option for generating jlink launcher. 1/head
-rw-r--r-- 137 .gitignore
-rw-r--r-- 832 Jenkinsfile
-rwxr-xr-x 900 deploySite.sh
-rw-r--r-- 8833 pom.xml
drwxr-xr-x - src