--- jEdit.orig/build.xml 2015-10-20 12:56:08.000000000 -0500 +++ jEdit/build.xml 2016-06-27 03:39:13.537041553 -0500 @@ -119,7 +119,7 @@