ignore jEdit temp files
Patch with necessary changes against Isabelle 2013