JLib plugin does not save properties correctly

Hello,

I think there's a silly bug that prevent the
delegation mechanism from working properly.
In
"JLibOptionPane.java" the code for the _save() method
is:

jEdit.setBooleanProperty("options.jlib.save.global.title",
saveGlobal.isSelected());
jEdit.setBooleanProperty("options.jlib.save.project.title",
saveByProject.isSelected());
jEdit.setBooleanProperty("options.jlib.save.session.title",
saveBySession.isSelected());

While it should
be:

jEdit.setBooleanProperty("options.jlib.save.global",
saveGlobal.isSelected());
jEdit.setBooleanProperty("options.jlib.save.project",
saveByProject.isSelected());
jEdit.setBooleanProperty("options.jlib.save.session",
saveBySession.isSelected());

Regards
Amedeo