jEdit5.6.0

The jEdit Dev Team(Free)