jre of the properties file does not work under windows

[AndreasEhret]

This issue was imported from bugzilla with bugzilla2github

Bugzilla Bug Referenze: 3711

Date: 2019-03-22 09:38:00 +0000
From: Lars Herschke <>
To: JiriVanek <>
CC: unassigned

Last updated: 2019-03-22 11:57:34 +0000

Comment 17473

Date: 2019-03-22 09:38:41 +0000
From: Lars Herschke <>

Created attachment 1727
fix for the problem described

            Enclosed a patch that fixes the following things.

            - Check under windows against java.exe, instead of java, both in rust-launcher and in itweb-settings
            - Unmasking the colon at properties in the rust launcher

Attached file: src_1591_a18f57158e40.patch (text/plain, 5870 bytes)
Description: fix for the problem described

Comment 17474

Date: 2019-03-22 11:57:34 +0000
From: Lars Herschke <>

pull request:
#3

[lherschi]

Can be closed. Pull request was merged into master