This is jEdit5.2pre1 on Mac OS X (Mavericks) and Java 7u55.