public Separator(Bar bar, String def = null) : base(bar, InitSeparator, def, false) { /* ^^^^^ */ /* Special case: separators should have no labels. */ }