[protege-discussion] PROMPT plugin tutorial - remove suffixes not working

[Jens Selbach]

Hi,
still trying to use PROMPT plugin. When working through the
Air_reservations/Car_rental tutorial, 
everything works fine except the last step in removing the suffixes from
classes and slots.
I can call "Remove Suffixes" from menu, messages on console look O.K.,
but no suffixes are removed.
Known bug or user error?

Regards,
Jens.