* revised texts in application preferences and documentation to state the currently required Java version * update deploy script on windows to use UPX with "--best" instead of "--brute"
* revised texts in application preferences and documentation to state the currently required Java version * update deploy script on windows to use UPX with "--best" instead of "--brute"