JEdit – Programmer's Text Editor