Fix #133: Implement required subtype with effect in the label of the
property if displayed in Swing.