#196 Merge fix for broken java installer (#3837)

for 5.1.x
open
nobody
None
7
2014-01-13
2013-12-23
Eric Le Lay
No
0 up votes | 0 down votes | 0%
0 comments

This should be fixed as soon as possible since it prevents users from installing jEdit !
Revision to merge: [r23389]
Bug report: [#3837]

Related

Bugs: #3837
Commit: [r23389]

Discussion