File talk:JEdit 4.2 showing en jEdit page source.png