[ jEdit-devel ] [ jedit-Bugs-3396545 ] NumberFormatException on startup for recent.xml


Thread view