jEdit 4.3 with AcrylLookAndFeel