Merge fix for broken java installer (#3837)

jEdit is a programmer's text editor written in Java.

Brought to you by: daleanson, ezust, grepppo, k_satoda, and 5 others

Milestone: for 5.1.x

Status: pending-out-of-date

Owner: nobody

Labels: None

Priority: 7

Updated: 2014-12-31

Created: 2013-12-23

Private: No

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

Alan Ezust - 2014-12-31

status: open --> pending-out-of-date
If you would like to refer to this comment somewhere else in this project, copy and paste the following link: