jEdit5.6.0

The jEdit Dev Team(Gratuito)