[jwt-dev] JWT cop/paste bug ?

[Marc Dutoo <marc.dutoo@xxxxxxxxxxx>]

Hi Chris

I've probably found a copy/paste bug, see
https://bugs.eclipse.org/bugs/show_bug.cgi?id=314733
"After a copy/paste, (patchable) inconsistency in references"

Do you think it's a regression / I'm at fault ?

Besides, I went back to the dreaded dynamic Property tab to patch its 
worst behaviours, see
https://bugs.eclipse.org/bugs/show_bug.cgi?id=300966

Regards,
Marc