[SCM] jedit - Java plugin-based editor for programmers branch, master, updated. debian/4.4.2+dfsg-1-23-g998e08e

[Gabriele Giacone]

The following commit has been merged in the master branch:
commit 0a207ae6efd74c602f9fd8b6e4c6b041d6dfcd32
Merge: 9f8c1f6f0c965ee74b08173d2fcfb82f2013fe2f e57f661b1e4d458191180ad916e872f97f132a50
Author: Gabriele Giacone <1o5g4r8o at gmail.com>
Date:   Fri Jun 15 13:34:24 2012 +0000

    Merge tag 'upstream/4.5.1+dfsg'
    
    Upstream version 4.5.1+dfsg


-- 
jedit - Java plugin-based editor for programmers