How to update the JRE

For Windows

1. Download the Windows 32-bit JRE
2. Unpack it
3. Repack it as a .zip
4. Put the .zip in the Maven Repository on the build server
5. Update the pom.xml

For OS X

1. Download and install the OSX JDK on a Mac
2. Update the main build.gradle but don't push it yet
3. run gradlew extractMacJRE to create the JRE zip file
4. Put the .zip in the Maven Repository on the build server
5. Update the pom.xml

When both are done

5. Update the main build.gradle and push it
6. On any machine, run gradlew clean release
7. Check the result.