jEdit5.6.0

The jEdit Dev Team(Gratis)