Problem in jedstate init file

[Rafael Laboissiere]

The initialization file for jedstate (/etc/jed.d/55jedstate.sl)
contains:

    require ("gdbmrecent");

but this only works when the jed-extra package is installed.  If the user
removes the jed-extra package (and hence also jedstate) without purging,
then this file will be left in the system and jed will give an error at
startup.  

Which is the better way to execute the command about conditionally on the
presence of gdbmrecent.sl in the system?

-- 
Rafael