[isabelle-dev] Isabelle/jedit reports that file was changed on disk

[Clemens Ballarin]

I occasionally get a modal dialog reporting that a the file I currently edit was changed on disk by another program and therefore automatically reloaded.  I didn't touch or modify the program myself, and ls -l does not indicate a recent modification either.

This is for a fairly recent repository build (7da3e398804c) with all components as requested by this configuration.

Clemens