jEdit Milestone #3

jEdit Milestone #3