1. 2016-08-17 [ jEdit-devel ] [jedit:bugs] #4012 Stale mode.xxx.fil jedit-dev Eric Le Lay 2. 2016-08-17 [ jEdit-devel ] [jedit:bugs] #4012 Stale mode.xxx.fil jedit-dev Eric Le Lay