Makarius - 2014-05-27

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