First off - long time user, first time poster - I love jEdit, have converted most of my co-developers to jEdit devotees in the last couple of years (it's suprisingly easy to push jEdit considering how close text-editor choice is to religion amongst developers)

So, yeah - jEdit uses gnu.regexp rather than the java default java.util.regex for reasons I don't yet understand... I'm hoping some kind soul will enlighten me.
I'm particularly missing lookbehinds, both negative and positive, but after a quick comparison of the gnu.regexp documentation with java.util.regex there is also lots of other useful things:

• \p{Punct} -- Punctuation: One of !"#$%&'()*+,-./:;<=>?@[\]^_`{|}~
• \P{InGreek} -- Any character except one in the Greek block (negation)
• [a-z&&[^bc]] -- a through z, except for b and c: [ad-z] (subtraction)
• X?+ -- X, once or not at all (Possessive quantifiers)
• (?idmsux-idmsux:X) -- X, as a non-capturing group with the given flags on - off

I can't see anything in gnu.regexp that is not available in java.util.regex. So java.util.regex is more powerful (in terms of options) and I also often use the search in jEdit for conveniently testing my regexes before using in a java app, so it would be beneficial to say the least if they both spoke the same syntax

In summary - is it possible / feasible for me to swap the default regexp implementation to java.util.regex? I'm willing to get my hands dirty, but some pointers would be greatly appreciated.

cheers all.
hail jEdit.