[ jEdit-devel ] [ jedit-Merge Requests-3159582 ] more stuff for Java 5 -> Java 6 switch

[SourceForge.net <no...@so...>]

Merge Requests item #3159582, was opened at 2011-01-17 02:52
Message generated for change (Tracker Item Submitted) made by vampire0
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=1235750&aid=3159582&group_id=588

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: None
Group: for 4.4.x
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: Björn Kautler (vampire0)
Assigned to: Nobody/Anonymous (nobody)
Summary: more stuff for Java 5 -> Java 6 switch

Initial Comment:
Please merge my requests in order of submission, then the first three have according backporting branches and the rest should apply cleanly.

Trunk revision: r18847, r18954, r19206, r19210
Backport Branch: 4.4.x-merge-request-for-r18847-r18954-r19206-r19210
Message: more stuff for Java 5 -> Java 6 switch

Those revisions are all about the same topic and are completely or partly missing in the release branch thus I joint them together into one merge request

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=1235750&aid=3159582&group_id=588