#100 Fix jEdit loading when recent.xml is broken

for 4.3.x
closed-out-of-date
nobody
None
5
2012-09-04
2011-09-24
Björn Kautler
No

Please merge rev 19833 that fixes bug #3396545

The bug was jEdit do not load if recent.xml is corrupted.

MR for 4.4.x: http://sourceforge.net/support/tracker.php?aid=3397964

Discussion

    • status: open --> closed-out-of-date