[opencms-dev] Duplicate entry in permission settings view

[Roman Uhlig Maxity.de]

As Kai already mentioned in his mailing list message a few days ago,
there is a (display?) bug in the permission settings view. The entry
"Direct Publish" is shown duplicated. Furthermore we noticed that if one
of the two entries is true, both of them are reset and set to true.

Apparently this does not necessarily happen on every OpenCms 7.5.1
installation. We are running several servers and it happened two times
altogether, always after updating from 7.5.0 to 7.5.1.

Roman