Minor update to content of jEdit Milestone - 4