when i installed the latest version of jEdit on my mac OS X system, everything worked as expected for several editing sessions, but today the file system browser stopped working, even though i hadn't changed anything that could conceivably affect jEdit. i can 'open' a directory by entering its path or selecting one of my favourites, and the directory entry itself and its parent directories are displayed as expected, but every directory i try appears empty; even if it contains a file that is currently open in the editor.

has anyone already had this problem, or an idea what it could be?