File ~/.jedit/history is no longer being updated between sessions, though it is still read at startup.

Permissions are OK, and other settings files (eg activity.log) _are_ being updated OK.

Any advice/suggestions appreciated!

Version: 4.2final, MacOSX 10.4.5, java 1.4.2_09

Plugins:

BufferTabs.jar
Clipper.jar
CodeBrowser.jar
ColumnRuler.jar
CommonControls.jar
Console.jar
CssEditor.jar
CssValidator.jar
ErrorList.jar
FTP.jar
JCounter.jar
JDiffPlugin.jar
JakartaCommons.jar
Jump.jar
PHPParser.jar
ProjectViewer.jar
RETest.jar
SideKick.jar
TaskList.jar
TextFilter.jar
WhiteSpace.jar
XML.jar
XSLT.jar
XmlIndenter.jar
bcel.jar
commons-codec-1.3.jar
commons-collections.jar
commons-httpclient-2.0.1.jar
commons-lang-2.0.jar
commons-logging.jar
htmlparser.jar
j2ssh-common.jar
j2ssh-core.jar
jEditCvs.jar
kappalayout.jar
log4j.jar
xalan.jar
xercesImpl.jar
xml-commons-resolver.jar
xmlParserAPIs.jar
xmlrpc-2.0.1.jar