Jedit port crashed on 5.2.1

[Boris Hollas]

I got this message after I invoked "make install" for Jedit on 5.2.1:

/usr/ports/editors/jedit# make install
===>  Installing for jedit-4.1.0
===>   jedit-4.1.0 depends on file: /usr/local/diablo-jdk1.3.1/bin/
java - found
===>   jedit-4.1.0 depends on shared library: X11.6 - found
===>   Generating temporary packing list
===>  Checking if editors/jedit already installed
Segmentation fault (core dumped)
*** Error code 139

Stop in /usr/ports/editors/jedit.


I use the default portstree for 5.2.1.

Boris Hollas